| author | wenzelm |
| Thu, 08 Apr 2021 13:27:27 +0200 | |
| changeset 60188 | 422186a35be8 |
| parent 60186 | a81828f24172 |
| child 60215 | e7ef883d6bdc |
| 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 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
31 ^src/Tools/jEdit/dist/
33 # students used various LaTeX tools (and created a mess) ------\
34 ^doc-isac/.*\.aux
35 ^doc-isac/.*\.bbl
36 ^doc-isac/.*\.blg
37 ^doc-isac/.*\.brf
38 ^doc-isac/.*\.dvi
39 ^doc-isac/.*\.ent
40 ^doc-isac/.*\.idx
41 ^doc-isac/.*\.ind
42 ^doc-isac/.*\.lof
43 ^doc-isac/.*\.log
44 ^doc-isac/.*\.nav
45 ^doc-isac/.*\.out
46 ^doc-isac/.*\.pdf
47 ^doc-isac/.*\.rai
48 ^doc-isac/.*\.rao
49 ^doc-isac/.*\.snm
50 ^doc-isac/.*\.synctex
51 ^doc-isac/.*\.tex.backup
52 ^doc-isac/.*\.toc
53 #doc-isac------------------------------------------------------/