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