1.1 --- a/.hgignore Wed Apr 07 21:33:01 2021 +0200
1.2 +++ b/.hgignore Mon Mar 22 14:47:06 2021 +0100
1.3 @@ -13,8 +13,6 @@
1.4 src/HOL/SPARK/Examples/Sqrt/sqrt/isqrt.prv
1.5 src/HOL/SPARK/Manual/simple_greatest_common_divisor/g_c_d.prv
1.6
1.7 -etc/settings #does NOT work !?!
1.8 -
1.9 syntax: regexp
1.10
1.11 #cygwin: requires different 'components' and 'settings'--------\
2.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
2.2 +++ b/src/HOL/SPARK/etc/settings Mon Mar 22 14:47:06 2021 +0100
2.3 @@ -0,0 +1,4 @@
2.4 +# -*- shell-script -*- :mode=shellscript:
2.5 +
2.6 +isabelle_scala_service 'isabelle.spark.SPARK$Load_Command1'
2.7 +isabelle_scala_service 'isabelle.spark.SPARK$Load_Command2'