diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -33,6 +33,7 @@ lib/hol/sail-heap *.glob .*.aux /lib/coq/.nia.cache +/lib/coq/deps # Isabelle @@ -60,16 +61,22 @@ lib/hol/sail-heap /test/smt/*.out /test/smt/*.smt2 /test/c/*.c +/test/c/*.h /test/c/*.result /test/c/*.iresult /test/c/*.oresult /test/c/*.bin /test/c/*_ocaml /test/c/_sbuild* +/test/coq/.lia.cache +/test/coq/.nia.cache +/test/coq/out.v +/test/coq/out_types.v /test/mono/Out_lemmas.thy /test/mono/log /test/mono/test.cmi /test/mono/test.cmo +/test/mono/test-output /language/*.pdf /language/*.uo |