Isabelle lib dirs to be ignored

parent 40ae90d6
......@@ -134,6 +134,11 @@ orphaned-proofs.prf
/lib/pvs/*/*.summary
pvsbin/
# Isabelle
/lib/isabelle/int/
/lib/isabelle/list/
/lib/isabelle/map/
/lib/isabelle/set/
# /src/driver/
/src/driver/driver_lexer.ml
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment