Mercurial Mercurial > wneuper > isa / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
src/HOL/SPARK/etc/settings
author wenzelm
Mon, 22 Mar 2021 14:47:06 +0100
changeset 60186 a81828f24172
permissions -rw-r--r--
do not suppress etc/settings: important for Isabelle component setup; 
     1 # -*- shell-script -*- :mode=shellscript:

     2 

     3 isabelle_scala_service 'isabelle.spark.SPARK$Load_Command1'

     4 isabelle_scala_service 'isabelle.spark.SPARK$Load_Command2'
wneuper/isa