1*Script
2*Theory.sig
3*Theory.sml
4*Theory.dat
5*.uo
6*.ui
7*.o
8.hollogs
9.HOLMK
10*.lex.sml
11*.grm.sig
12*.grm.sml
13*.grm-sig.sml
14*.grm.desc
15*.exe
16.DS_Store
17
18# LaTeX guff
19*.aux
20*.log
21*.toc
22*.dvi
23*.out
24*.idx
25*.ilg
26*.ind
27*.bbl
28*.blg
29*.tde
30*.tid
31*.tix
32*.hix
33*.fdb_latexmk
34*.synctex.gz
35
36#Generated Verilog from Iyoda/Gordon hw compilation
37*.vl
38
39config-override
40tools-poly/poly-includes.ML
41.kernelidstr
42
43*~
44build-log
45svn-update
46developers/generateBuildSummary
47developers/comparelogs
48developers/docfiles/*.txt
49
50tools*/Holmake/Systeml.sml
51tools/Holmake/Lexer.sml
52tools/Holmake/Parser.sig
53tools/Holmake/Parser.sml
54
55sigobj/*
56tools/hol-mode.el
57tools/quote-filter/filter.sml
58tools/quote-filter/quote-filter
59tools/quote-filter/selftest
60tools/vim/filetype.vim
61tools/vim/hol-config.sml
62tools/vim/hol.vim
63tools/vim/vimhol.sml
64tools-poly/build-logs
65tools/build-stamp
66tools/lastbuildoptions
67tools/build-logs
68
69help/Docfiles/*.txt
70help/Docfiles/HTML/*
71help/HOLindex.html
72help/HOL.Help
73help/src-sml/htmlsigs
74help/src-sml/index.tex
75help/src-sml/index.txt
76help/theorygraph/*.html
77help/theorygraph/theories.dot
78help/theorygraph/theories.imap
79help/theorygraph/theories.svg
80help/theorygraph/theories.pdf
81
82src/bool/SharingTables.*
83src/emit/ML/*.sml
84src/emit/ML/*.sig
85src/emit/Caml/*.ml
86src/emit/Caml/*.mli
87src/quotient/Manual/quotient.pdf
88src/quotient/src/*.html
89src/quotient/src/*.lst
90src/HolSat/sat_solvers/zc2hs/*.h
91src/HolSat/sat_solvers/zc2hs/zc2hs
92src/HolSat/sat_solvers/minisat/minisat
93src/HolSat/sat_solvers/minisat/depend.mak
94src/num/arith/Manual/arith.pdf
95src/num/arith/Manual/arith.ps
96src/num/termination/numheap
97src/num/termination/numheap.o
98src/parse/base_lexer.sml
99src/quotient/examples/*/*.html
100src/quotient/examples/*/*.lst
101src/quotient/examples/*.html
102src/quotient/examples/*.lst
103src/res_quan/help/thms/
104src/string/help
105src/TeX/holindex-demo.pdf
106src/TeX/holindex-demo.ps
107
108*.art
109
110Manual/*/*.pdf
111Manual/*/*.ps
112Manual/Reference/entries.tex
113Manual/Translations/*/*/*.pdf
114
115examples/dev/*.vl
116
117examples/machine-code/lisp/*.s
118examples/machine-code/just-in-time/*.s
119
120examples/muddy/muddyC/Makefile
121examples/muddy/muddyC/buddy/src/libbdd.a
122examples/muddy/muddyC/muddy.so
123
124examples/theorem-prover/lisp-runtime/bin/*.s
125
126examples/computability/lambda/computability-heap
127
128local-hol-heap
129examples/l3-machine-code/**/*-heap
130
131*Script_ttt.sml
132