| author | Walther Neuper <wneuper@ist.tugraz.at> |
| Thu, 18 Jan 2018 15:25:39 +0100 | |
| changeset 59320 | 4549c6062b30 |
| 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/