author | Walther Neuper <walther.neuper@jku.at> |
Mon, 25 May 2020 16:52:38 +0200 | |
changeset 60002 | 0073ca6530bb |
parent 59509 | 4390c9bb03e9 |
child 60074 | a02d5b4669a7 |
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
17 src/Pure/System/distribution.ML
18 src/Pure/System/distribution.scala
21 syntax: regexp
23 #cygwin: requires different 'components' and 'settings'--------\
24 ^Cygwin-Setup.bat
25 ^Cygwin-Terminal.bat
26 ^Isabelle.exe
27 #cygwin--------------------------------------------------------/
29 ^contrib
30 ^heaps/
31 ^browser_info/
32 ^doc/.*\.dvi
33 ^doc/.*\.eps
34 ^doc/.*\.pdf
35 ^doc/.*\.ps
36 ^src/Tools/jEdit/dist/
38 # students used various LaTeX tools (and created a mess) ------\
39 ^doc-isac/.*\.aux
40 ^doc-isac/.*\.bbl
41 ^doc-isac/.*\.blg
42 ^doc-isac/.*\.brf
43 ^doc-isac/.*\.dvi
44 ^doc-isac/.*\.ent
45 ^doc-isac/.*\.idx
46 ^doc-isac/.*\.ind
47 ^doc-isac/.*\.lof
48 ^doc-isac/.*\.log
49 ^doc-isac/.*\.nav
50 ^doc-isac/.*\.out
51 ^doc-isac/.*\.pdf
52 ^doc-isac/.*\.rai
53 ^doc-isac/.*\.rao
54 ^doc-isac/.*\.snm
55 ^doc-isac/.*\.synctex
56 ^doc-isac/.*\.tex.backup
57 ^doc-isac/.*\.toc
58 #doc-isac------------------------------------------------------/