Isabelle_DOF/.gitignore

6 lines
54 B
Plaintext
Executable File

output
.afp
*~
*#
Isabelle_DOF-Unit-Tests/latex_test/