Merge pull request #11 from tcsprojects/develop

Merge v4.0
tcsprojects · Feb 21, 2017 · e11df0b · e11df0b
2 parents 67ba114 + 844a2f1
commit e11df0b
Show file tree

Hide file tree

Showing 134 changed files with 107,989 additions and 8,142 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,3 +1,4 @@
+temp*.ml
 *.cache
 *.annot
 *.cmo
@@ -18,3 +19,11 @@ doc/main.dvi
 doc/main.thm
 doc/main.toc
 .paths
+_build
+*.native
+temp
+SatConfig
+.project
+*.out
+doc/main.pdf
+doc/pgsolver.pdf
diff --git a/.project b/.project