| author | Walther Neuper <wneuper@ist.tugraz.at> |
| Sat, 05 Dec 2015 14:26:56 +0100 | |
| changeset 59179 | 91acbb24e371 |
| parent 59104 | 09a9b04605e5 |
| child 59180 | 85ec71012df8 |
| permissions | -rwxr-xr-x |
1 syntax: glob
3 *~
4 *.class
5 *.jar
6 *.marks
7 *.orig
8 *.rej
9 .DS_Store
10 .swp
12 # from Isabelle2002, 2011, 2012
13 *.stackdump
14 *.tgz
15 *.orig
16 *.marks
17 *.html # for cygwin
18 Isabelle2013-2*
21 syntax: regexp
23 #cygwin: requires different 'components' and 'settings'--------\
24 ^Cygwin-Setup.bat
25 ^Cygwin-Terminal.bat
26 ^Isabelle.exe
27 #cygwin--------------------------------------------------------/
29 #--------------------------------------------------------------\
30 #TUG/isa is *always* merged into a *full* clone from TUM/isabelle
31 ^Admin/
32 ^bin/
33 ^browser_info/
34 ^contrib/
35 ^doc/
36 ^etc/
37 ^heaps/
38 ^doc/
39 ^lib/
40 #--------------------------------------------------------------/
42 # students use various LaTeX tools (and create a mess)...
43 ^doc-isac/.*\.aux
44 ^doc-isac/.*\.bbl
45 ^doc-isac/.*\.blg
46 ^doc-isac/.*\.brf
47 ^doc-isac/.*\.dvi
48 ^doc-isac/.*\.ent
49 ^doc-isac/.*\.idx
50 ^doc-isac/.*\.ind
51 ^doc-isac/.*\.lof
52 ^doc-isac/.*\.log
53 ^doc-isac/.*\.nav
54 ^doc-isac/.*\.out
55 ^doc-isac/.*\.pdf
56 ^doc-isac/.*\.rai
57 ^doc-isac/.*\.rao
58 ^doc-isac/.*\.snm
59 ^doc-isac/.*\.synctex
60 ^doc-isac/.*\.tex.backup
61 ^doc-isac/.*\.toc
62 ^src/Tools/jEdit/dist/
64 ^doc-src/isac/bib*
65 ^doc-src/isac/mlehnfeld/fig
66 ^doc-src/isac/msteger/fig/
68 ^src/Tools/jEdit/nbproject/build-impl.xml
69 ^src/Tools/jEdit/nbproject/private/
70 ^src/Tools/jEdit/build/
71 ^src/Tools/jEdit/dist/
72 ^src/Tools/jEdit/contrib/
74 ^bin/isac_jedit
75 #^src/Tools/jEditC/build.xml
76 ^src/Tools/jEditC/nbproject/build-impl.xml
77 ^src/Tools/jEditC/nbproject/private/
78 ^src/Tools/jEditC/build/
79 ^src/Tools/jEditC/dist/
80 ^src/Tools/jEditC/contrib/
81 #^src/Tools/jEditC/src/Isac.scala
82 ^src/Tools/jEditC_xxxx/
83 ^src/Tools/jEditC/SD_Test_Plugin_java-src
85 ^test/.*\.aux
86 ^test/.*\.bbl
87 ^test/.*\.blg
88 ^test/.*\.brf
89 ^test/.*\.dvi
90 ^test/.*\.lot
91 ^test/.*\.idx
92 ^test/.*\.ind
93 ^test/.*\.lof
94 ^test/.*\.log
95 ^test/.*\.lot
96 ^test/.*\.nav
97 ^test/.*\.out
98 ^test/.*\.pdf
99 ^test/.*\.rai
100 ^test/.*\.rao
101 ^test/.*\.snm
102 ^test/.*\.tex.backup
103 ^test/.*\.toc
104 ^test/.*\.ent
105 ^test/.*\.synctex
107 ^test/tmp/