.gitignore

# Compiled class file
*.class

# Log file
*.log

# BlueJ files
*.ctxt

# Mobile Tools for Java (J2ME)
.mtj.tmp/

# Package Files #
*.jar
*.war
*.nar
*.ear
*.zip
*.tar.gz
*.rar

# virtual machine crash logs, see http://www.java.com/en/download/help/error_hotspot.xml
hs_err_pid*

# Created by https://www.gitignore.io/api/xtext
# Edit at https://www.gitignore.io/?templates=xtext

### XText ###
# Those source folders can be generated by maven and Eclipse
generated/
src-gen/
xtend-gen/

# Ignore plugin.xml_gen and feature.xml_gen files, when build Eclipse Plugins.
*.xml_gen

# End of https://www.gitignore.io/api/xtext

# Created by https://www.gitignore.io/api/coq
# Edit at https://www.gitignore.io/?templates=coq

### Coq ###
.*.aux
*.a
*.cma
*.cmi
*.cmo
*.cmx
*.cmxa
*.cmxs
*.glob
*.ml.d
*.ml4.d
*.mli.d
*.mllib.d
*.mlpack.d
*.native
*.o
*.v.d
*.vio
*.vo
*.vok
*.vos
*.d
*.conf
.coq-native/
.csdp.cache
.lia.cache
.nia.cache
.nlia.cache
.nra.cache
csdp.cache
lia.cache
nia.cache
nlia.cache
nra.cache

# End of https://www.gitignore.io/api/coq

theories/coqgraph.sh