author | Walther Neuper <neuper@ist.tugraz.at> |
Mon, 24 Sep 2012 18:15:49 +0200 | |
changeset 48756 | 7443906996a8 |
parent 44167 | acc680ab6204 |
parent 42451 | bc03b5d60547 |
child 48783 | 3635871163a9 |
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
15 syntax: regexp
17 ^contrib
18 ^heaps/
19 ^browser_info/
20 ^doc-src/.*\.aux
21 ^doc-src/.*\.bbl
22 ^doc-src/.*\.blg
23 ^doc-src/.*\.dvi
24 ^doc-src/.*\.idx
25 ^doc-src/.*\.ind
26 ^doc-src/.*\.lof
27 ^doc-src/.*\.log
28 ^doc-src/.*\.out
29 ^doc-src/.*\.toc
30 ^src/Tools/jEdit/dist/
32 # from Isabelle2002, 2011
34 ^doc/.*
35 ^doc-src/.*\.brf
36 ^doc-src/.*\.lot
37 ^doc-src/.*\.lot
38 ^doc-src/.*\.nav
39 ^doc-src/.*\.pdf
40 ^doc-src/.*\.rai
41 ^doc-src/.*\.rao
42 ^doc-src/.*\.snm
43 ^doc-src/.*\.tex.backup
44 ^doc-src/.*\.ent
45 ^doc-src/.*\.synctex
47 ^doc-src/isac/bib*
48 ^doc-src/isac/mlehnfeld/fig
49 ^doc-src/isac/msteger/fig/
51 ^src/Tools/jEdit/nbproject/build-impl.xml
52 ^src/Tools/jEdit/nbproject/private/
53 ^src/Tools/jEdit/build/
54 ^src/Tools/jEdit/dist/
55 ^src/Tools/jEdit/contrib/
57 ^bin/isac_jedit
58 #^src/Tools/jEditC/build.xml
59 ^src/Tools/jEditC/nbproject/build-impl.xml
60 ^src/Tools/jEditC/nbproject/private/
61 ^src/Tools/jEditC/build/
62 ^src/Tools/jEditC/dist/
63 ^src/Tools/jEditC/contrib/
64 #^src/Tools/jEditC/src/Isac.scala
65 ^src/Tools/jEditC_xxxx/
66 ^src/Tools/jEditC/SD_Test_Plugin_java-src
68 ^test/.*\.aux
69 ^test/.*\.bbl
70 ^test/.*\.blg
71 ^test/.*\.brf
72 ^test/.*\.dvi
73 ^test/.*\.lot
74 ^test/.*\.idx
75 ^test/.*\.ind
76 ^test/.*\.lof
77 ^test/.*\.log
78 ^test/.*\.lot
79 ^test/.*\.nav
80 ^test/.*\.out
81 ^test/.*\.pdf
82 ^test/.*\.rai
83 ^test/.*\.rao
84 ^test/.*\.snm
85 ^test/.*\.tex.backup
86 ^test/.*\.toc
87 ^test/.*\.ent
88 ^test/.*\.synctex
90 ^test/tmp/