author | Walther Neuper <walther.neuper@jku.at> |
Mon, 21 Dec 2020 15:13:49 +0100 | |
changeset 60140 | 8bb9b4a2f575 |
parent 60074 | a02d5b4669a7 |
child 60186 | a81828f24172 |
permissions | -rw-r--r-- |
1 syntax: glob
3 *~
4 *.class
5 *.jar
6 *.marks
7 *.orig
8 *.rej
9 .DS_Store
10 .swp
12 src/HOL/SPARK/Examples/Gcd/greatest_common_divisor/g_c_d.prv
13 src/HOL/SPARK/Examples/Sqrt/sqrt/isqrt.prv
14 src/HOL/SPARK/Manual/simple_greatest_common_divisor/g_c_d.prv
16 etc/settings #does NOT work !?!
18 syntax: regexp
20 #cygwin: requires different 'components' and 'settings'--------\
21 ^Cygwin-Setup.bat
22 ^Cygwin-Terminal.bat
23 ^Isabelle.exe
24 #cygwin--------------------------------------------------------/
26 ^contrib
27 ^heaps/
28 ^browser_info/
29 ^doc/.*\.dvi
30 ^doc/.*\.eps
31 ^doc/.*\.pdf
32 ^doc/.*\.ps
33 ^src/Tools/jEdit/dist/
35 # students used various LaTeX tools (and created a mess) ------\
36 ^doc-isac/.*\.aux
37 ^doc-isac/.*\.bbl
38 ^doc-isac/.*\.blg
39 ^doc-isac/.*\.brf
40 ^doc-isac/.*\.dvi
41 ^doc-isac/.*\.ent
42 ^doc-isac/.*\.idx
43 ^doc-isac/.*\.ind
44 ^doc-isac/.*\.lof
45 ^doc-isac/.*\.log
46 ^doc-isac/.*\.nav
47 ^doc-isac/.*\.out
48 ^doc-isac/.*\.pdf
49 ^doc-isac/.*\.rai
50 ^doc-isac/.*\.rao
51 ^doc-isac/.*\.snm
52 ^doc-isac/.*\.synctex
53 ^doc-isac/.*\.tex.backup
54 ^doc-isac/.*\.toc
55 #doc-isac------------------------------------------------------/