equal
deleted
inserted
replaced
10 .swp |
10 .swp |
11 |
11 |
12 src/HOL/SPARK/Examples/Gcd/greatest_common_divisor/g_c_d.prv |
12 src/HOL/SPARK/Examples/Gcd/greatest_common_divisor/g_c_d.prv |
13 src/HOL/SPARK/Examples/Sqrt/sqrt/isqrt.prv |
13 src/HOL/SPARK/Examples/Sqrt/sqrt/isqrt.prv |
14 src/HOL/SPARK/Manual/simple_greatest_common_divisor/g_c_d.prv |
14 src/HOL/SPARK/Manual/simple_greatest_common_divisor/g_c_d.prv |
15 |
|
16 etc/settings #does NOT work !?! |
|
17 |
15 |
18 syntax: regexp |
16 syntax: regexp |
19 |
17 |
20 #cygwin: requires different 'components' and 'settings'--------\ |
18 #cygwin: requires different 'components' and 'settings'--------\ |
21 ^Cygwin-Setup.bat |
19 ^Cygwin-Setup.bat |