| author | Walther Neuper <wneuper@ist.tugraz.at> |
| Wed, 22 Aug 2018 12:47:53 +0200 | |
| changeset 59450 | 9797318ac4b5 |
| parent 59436 | fa5d5c63cee7 |
| child 59509 | 4390c9bb03e9 |
| permissions | -rw-r--r-- |
1 syntax: glob
3 *~
4 *.class
5 *.jar
6 *.marks
7 *.orig
8 *.rej
9 .DS_Store
10 .swp
13 src/HOL/SPARK/Examples/Gcd/greatest_common_divisor/g_c_d.prv
14 src/HOL/SPARK/Examples/Sqrt/sqrt/isqrt.prv
15 src/HOL/SPARK/Manual/simple_greatest_common_divisor/g_c_d.prv
16 syntax: regexp
18 #cygwin: requires different 'components' and 'settings'--------\
19 ^Cygwin-Setup.bat
20 ^Cygwin-Terminal.bat
21 ^Isabelle.exe
22 #cygwin--------------------------------------------------------/
24 ^contrib
25 ^heaps/
26 ^browser_info/
27 ^doc/.*\.dvi
28 ^doc/.*\.eps
29 ^doc/.*\.pdf
30 ^doc/.*\.ps
32 # students used various LaTeX tools (and created a mess) ------\
33 ^doc-isac/.*\.aux
34 ^doc-isac/.*\.bbl
35 ^doc-isac/.*\.blg
36 ^doc-isac/.*\.brf
37 ^doc-isac/.*\.dvi
38 ^doc-isac/.*\.ent
39 ^doc-isac/.*\.idx
40 ^doc-isac/.*\.ind
41 ^doc-isac/.*\.lof
42 ^doc-isac/.*\.log
43 ^doc-isac/.*\.nav
44 ^doc-isac/.*\.out
45 ^doc-isac/.*\.pdf
46 ^doc-isac/.*\.rai
47 ^doc-isac/.*\.rao
48 ^doc-isac/.*\.snm
49 ^doc-isac/.*\.synctex
50 ^doc-isac/.*\.tex.backup
51 ^doc-isac/.*\.toc
52 #doc-isac------------------------------------------------------/
54 ^src/Tools/jEdit/dist/