author | Walther Neuper <neuper@ist.tugraz.at> |
Thu, 25 Apr 2013 18:49:52 +0200 | |
changeset 48850 | 2d32dd55b2ef |
parent 48796 | eef515633a5b |
child 48899 | 79e5b6eec425 |
permissions | -rw-r--r-- |
1 syntax: glob
3 *~
4 *.class
5 *.jar
6 .DS_Store
8 # from Isabelle2002, 2011
9 *.stackdump
10 *.tgz
11 *.orig
12 *.marks
13 *.html # for cygwin
16 syntax: regexp
18 #cygwin: requires different 'components' and 'settings'---\
19 ^etc/
20 ^Cygwin-Setup.bat
21 ^Cygwin-Terminal.bat
22 ^Isabelle.exe
23 #cygwin---------------------------------------------------/
25 ^contrib
26 ^heaps/
27 ^browser_info/
28 ^doc-src/.*\.aux
29 ^doc-src/.*\.bbl
30 ^doc-src/.*\.blg
31 ^doc-src/.*\.dvi
32 ^doc-src/.*\.idx
33 ^doc-src/.*\.ind
34 ^doc-src/.*\.lof
35 ^doc-src/.*\.log
36 ^doc-src/.*\.out
37 ^doc-src/.*\.toc
38 ^src/Tools/jEdit/dist/
40 # from Isabelle2002, 2011
42 ^doc/.*
43 ^doc-src/.*\.brf
44 ^doc-src/.*\.lot
45 ^doc-src/.*\.lot
46 ^doc-src/.*\.nav
47 ^doc-src/.*\.pdf
48 ^doc-src/.*\.rai
49 ^doc-src/.*\.rao
50 ^doc-src/.*\.snm
51 ^doc-src/.*\.tex.backup
52 ^doc-src/.*\.ent
53 ^doc-src/.*\.synctex
55 ^doc-src/isac/bib*
56 ^doc-src/isac/mlehnfeld/fig
57 ^doc-src/isac/msteger/fig/
59 ^src/Tools/jEdit/nbproject/build-impl.xml
60 ^src/Tools/jEdit/nbproject/private/
61 ^src/Tools/jEdit/build/
62 ^src/Tools/jEdit/dist/
63 ^src/Tools/jEdit/contrib/
65 ^bin/isac_jedit
66 #^src/Tools/jEditC/build.xml
67 ^src/Tools/jEditC/nbproject/build-impl.xml
68 ^src/Tools/jEditC/nbproject/private/
69 ^src/Tools/jEditC/build/
70 ^src/Tools/jEditC/dist/
71 ^src/Tools/jEditC/contrib/
72 #^src/Tools/jEditC/src/Isac.scala
73 ^src/Tools/jEditC_xxxx/
74 ^src/Tools/jEditC/SD_Test_Plugin_java-src
76 ^test/.*\.aux
77 ^test/.*\.bbl
78 ^test/.*\.blg
79 ^test/.*\.brf
80 ^test/.*\.dvi
81 ^test/.*\.lot
82 ^test/.*\.idx
83 ^test/.*\.ind
84 ^test/.*\.lof
85 ^test/.*\.log
86 ^test/.*\.lot
87 ^test/.*\.nav
88 ^test/.*\.out
89 ^test/.*\.pdf
90 ^test/.*\.rai
91 ^test/.*\.rao
92 ^test/.*\.snm
93 ^test/.*\.tex.backup
94 ^test/.*\.toc
95 ^test/.*\.ent
96 ^test/.*\.synctex
98 ^test/tmp/