Isabelle_DOF/.gitignore

output
.afp
*~
*#
Isabelle_DOF-Unit-Tests/latex_test/
Added: simple test setup. 2018-03-06 09:44:07 +00:00			`output`
Ignore local afp installation directory (.afp). 2019-01-06 13:28:46 +00:00			`.afp`
Ignore tmp-files. 2019-07-23 14:14:09 +00:00			`*~`
Ignore Isabelle/JEdit tmp files. 2022-03-26 19:56:23 +00:00			`*#`
Ignore generated latex-outputs in test session. 2023-02-25 11:01:58 +00:00			`Isabelle_DOF-Unit-Tests/latex_test/`