# HG changeset patch
# User wenzelm
# Date 1616420826 -3600
# Node ID a81828f24172da1f5ef7f42265b1924a4e47e985
# Parent  4244e4b5e1245aee168269efa641cad5472b86c1
do not suppress etc/settings: important for Isabelle component setup;

diff -r 4244e4b5e124 -r a81828f24172 .hgignore
--- a/.hgignore	Wed Apr 07 21:33:01 2021 +0200
+++ b/.hgignore	Mon Mar 22 14:47:06 2021 +0100
@@ -13,8 +13,6 @@
 src/HOL/SPARK/Examples/Sqrt/sqrt/isqrt.prv
 src/HOL/SPARK/Manual/simple_greatest_common_divisor/g_c_d.prv
 
-etc/settings                        #does NOT work !?!
-
 syntax: regexp
 
 #cygwin: requires different 'components' and 'settings'--------\
diff -r 4244e4b5e124 -r a81828f24172 src/HOL/SPARK/etc/settings
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOL/SPARK/etc/settings	Mon Mar 22 14:47:06 2021 +0100
@@ -0,0 +1,4 @@
+# -*- shell-script -*- :mode=shellscript:
+
+isabelle_scala_service 'isabelle.spark.SPARK$Load_Command1'
+isabelle_scala_service 'isabelle.spark.SPARK$Load_Command2'