We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents 25713eb + b423122 commit 24b539aCopy full SHA for 24b539a
1 file changed
community/HOL.gitignore
@@ -0,0 +1,11 @@
1
+*Script
2
+
3
+# Holmake generated files
4
+*Theory.sig
5
+*Theory.sml
6
+*.uo
7
+*.ui
8
9
+# Holmake auxiliary files
10
+.hollogs
11
+.HOLMK
0 commit comments