author | Walther Neuper <neuper@ist.tugraz.at> |
Tue, 17 Sep 2013 10:12:15 +0200 | |
changeset 52108 | 9aaf0d0f0ce4 |
parent 52060 | 325474d002e7 |
child 52131 | 2c75b0f0ef82 |
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-isac/.*\.aux
41 ^doc-isac/.*\.bbl
42 ^doc-isac/.*\.blg
43 ^doc-isac/.*\.brf
44 ^doc-isac/.*\.dvi
45 ^doc-isac/.*\.ent
46 ^doc-isac/.*\.idx
47 ^doc-isac/.*\.ind
48 ^doc-isac/.*\.lof
49 ^doc-isac/.*\.log
50 ^doc-isac/.*\.nav
51 ^doc-isac/.*\.out
52 ^doc-isac/.*\.pdf
53 ^doc-isac/.*\.rai
54 ^doc-isac/.*\.rao
55 ^doc-isac/.*\.snm
56 ^doc-isac/.*\.synctex
57 ^doc-isac/.*\.tex.backup
58 ^doc-isac/.*\.toc
59 ^src/Tools/jEdit/dist/
61 ^doc-src/isac/bib*
62 ^doc-src/isac/mlehnfeld/fig
63 ^doc-src/isac/msteger/fig/
65 ^src/Tools/jEdit/nbproject/build-impl.xml
66 ^src/Tools/jEdit/nbproject/private/
67 ^src/Tools/jEdit/build/
68 ^src/Tools/jEdit/dist/
69 ^src/Tools/jEdit/contrib/
71 ^bin/isac_jedit
72 #^src/Tools/jEditC/build.xml
73 ^src/Tools/jEditC/nbproject/build-impl.xml
74 ^src/Tools/jEditC/nbproject/private/
75 ^src/Tools/jEditC/build/
76 ^src/Tools/jEditC/dist/
77 ^src/Tools/jEditC/contrib/
78 #^src/Tools/jEditC/src/Isac.scala
79 ^src/Tools/jEditC_xxxx/
80 ^src/Tools/jEditC/SD_Test_Plugin_java-src
82 ^test/.*\.aux
83 ^test/.*\.bbl
84 ^test/.*\.blg
85 ^test/.*\.brf
86 ^test/.*\.dvi
87 ^test/.*\.lot
88 ^test/.*\.idx
89 ^test/.*\.ind
90 ^test/.*\.lof
91 ^test/.*\.log
92 ^test/.*\.lot
93 ^test/.*\.nav
94 ^test/.*\.out
95 ^test/.*\.pdf
96 ^test/.*\.rai
97 ^test/.*\.rao
98 ^test/.*\.snm
99 ^test/.*\.tex.backup
100 ^test/.*\.toc
101 ^test/.*\.ent
102 ^test/.*\.synctex
104 ^test/tmp/