equal
deleted
inserted
replaced
7 *.orig |
7 *.orig |
8 *.rej |
8 *.rej |
9 .DS_Store |
9 .DS_Store |
10 .swp |
10 .swp |
11 |
11 |
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 |
|
15 |
|
16 syntax: regexp |
12 syntax: regexp |
17 |
|
18 #cygwin: requires different 'components' and 'settings'--------\ |
|
19 ^Cygwin-Setup.bat |
|
20 ^Cygwin-Terminal.bat |
|
21 ^Isabelle.exe |
|
22 #cygwin--------------------------------------------------------/ |
|
23 |
|
24 ^contrib |
|
25 ^heaps/ |
|
26 ^browser_info/ |
|
27 ^doc/.*\.dvi |
|
28 ^doc/.*\.eps |
|
29 ^doc/.*\.pdf |
|
30 ^doc/.*\.ps |
|
31 ^src/Tools/jEdit/dist/ |
|
32 |
13 |
33 # students used various LaTeX tools (and created a mess) ------\ |
14 # students used various LaTeX tools (and created a mess) ------\ |
34 ^doc-isac/.*\.aux |
15 ^doc-isac/.*\.aux |
35 ^doc-isac/.*\.bbl |
16 ^doc-isac/.*\.bbl |
36 ^doc-isac/.*\.blg |
17 ^doc-isac/.*\.blg |
49 ^doc-isac/.*\.snm |
30 ^doc-isac/.*\.snm |
50 ^doc-isac/.*\.synctex |
31 ^doc-isac/.*\.synctex |
51 ^doc-isac/.*\.tex.backup |
32 ^doc-isac/.*\.tex.backup |
52 ^doc-isac/.*\.toc |
33 ^doc-isac/.*\.toc |
53 #doc-isac------------------------------------------------------/ |
34 #doc-isac------------------------------------------------------/ |
54 |
|