author | Walther Neuper <wneuper@ist.tugraz.at> |
Mon, 26 Mar 2018 07:28:39 +0200 | |
changeset 59416 | 229e5c9cf78b |
parent 59180 | 85ec71012df8 |
child 59436 | fa5d5c63cee7 |
permissions | -rw-r--r-- |
1 syntax: glob
3 *~
4 *.class
5 *.jar
6 *.marks
7 *.orig
8 *.rej
9 .DS_Store
10 .swp
13 syntax: regexp
15 #cygwin: requires different 'components' and 'settings'--------\
16 ^Cygwin-Setup.bat
17 ^Cygwin-Terminal.bat
18 ^Isabelle.exe
19 #cygwin--------------------------------------------------------/
21 ^contrib
22 ^heaps/
23 ^browser_info/
24 ^doc/.*\.dvi
25 ^doc/.*\.eps
26 ^doc/.*\.pdf
27 ^doc/.*\.ps
29 # students used various LaTeX tools (and created a mess) ------\
30 ^doc-isac/.*\.aux
31 ^doc-isac/.*\.bbl
32 ^doc-isac/.*\.blg
33 ^doc-isac/.*\.brf
34 ^doc-isac/.*\.dvi
35 ^doc-isac/.*\.ent
36 ^doc-isac/.*\.idx
37 ^doc-isac/.*\.ind
38 ^doc-isac/.*\.lof
39 ^doc-isac/.*\.log
40 ^doc-isac/.*\.nav
41 ^doc-isac/.*\.out
42 ^doc-isac/.*\.pdf
43 ^doc-isac/.*\.rai
44 ^doc-isac/.*\.rao
45 ^doc-isac/.*\.snm
46 ^doc-isac/.*\.synctex
47 ^doc-isac/.*\.tex.backup
48 ^doc-isac/.*\.toc
49 #doc-isac------------------------------------------------------/
51 ^src/Tools/jEdit/dist/