# HG changeset patch
# User wneuper <Walther.Neuper@jku.at>
# Date 1659543447 -7200
# Node ID ce09935439b309a90d4f18a6ade9a1464c76e879
# Parent  b125dcf1448995a8ee33de8b8bc32da970da2b2c
cleanup

diff -r b125dcf14489 -r ce09935439b3 src/Tools/isac/BaseDefinitions/Know_Store.thy
--- a/src/Tools/isac/BaseDefinitions/Know_Store.thy	Wed Aug 03 18:06:02 2022 +0200
+++ b/src/Tools/isac/BaseDefinitions/Know_Store.thy	Wed Aug 03 18:17:27 2022 +0200
@@ -87,7 +87,7 @@
   val insert_fillpats: (Thy_Write.theID * Error_Pattern_Def.fill_in list) list -> theory -> theory 
   val get_ref_thy: unit -> theory
   val set_ref_thy: theory -> unit
-end;                               
+end;
 
 structure KEStore_Elems(**): KESTORE_ELEMS(**) =
 struct
@@ -247,8 +247,9 @@
 
 section \<open>Re-use existing access functions for knowledge elements\<close>
 text \<open>
-  The independence of problems' and methods' structure enforces the accesse
-  functions to use "Isac_Knowledge", the final theory which comprises all knowledge defined.
+  The independence of problems' and methods' structure from theory dependency structure
+  enforces the access functions to use "Isac_Knowledge",
+  the final theory which comprises all knowledge defined.
 \<close>
 ML \<open>
 val get_ref_thy = KEStore_Elems.get_ref_thy;
diff -r b125dcf14489 -r ce09935439b3 src/Tools/isac/BridgeJEdit/Calculation.thy
--- a/src/Tools/isac/BridgeJEdit/Calculation.thy	Wed Aug 03 18:06:02 2022 +0200
+++ b/src/Tools/isac/BridgeJEdit/Calculation.thy	Wed Aug 03 18:17:27 2022 +0200
@@ -11,7 +11,7 @@
   (**)"$ISABELLE_ISAC/MathEngine/MathEngine"
   (** )"SPARK_FDL"                             ( * remove after devel.of BridgeJEdit*)
 keywords "Example" :: thy_decl
-and "Problem" "Specification" "Model" "References" "Solution" 
+and "Specification" "Model" "References" "Solution" 
 
 begin
 
@@ -198,15 +198,14 @@
 \<close> ML \<open>
 \<close> ML \<open>
 (*/----------------------------------------------------------------------------\*)
-     Parse.name -- Parse.!!! (  \<^keyword>\<open>Problem\<close> |-- Parse.name -- 
-       Parse.!!! ( \<^keyword>\<open>Specification\<close> -- \<^keyword>\<open>:\<close> --
+     Parse.name -- Parse.!!! ( \<^keyword>\<open>Specification\<close> -- \<^keyword>\<open>:\<close> --
          \<^keyword>\<open>Model\<close> -- \<^keyword>\<open>:\<close>  |-- Problem.parse_model_input --
-         Parse.!!! ( \<^keyword>\<open>References\<close> -- \<^keyword>\<open>:\<close> |-- parse_references_input)))
-: (string * (string * (Problem.model_input * references_input))) parser
+         Parse.!!! ( \<^keyword>\<open>References\<close> -- \<^keyword>\<open>:\<close> |-- parse_references_input))
+(*: (string * (Problem.model_input * references_input)) parser*)
 (*\----------------------------------------------------------------------------/*) 
 : Token.T list ->
 (*/----------------------------------------------------------------------------\*)
-    (string * (string * (Problem.model_input * references_input)))
+    (string * (Problem.model_input * references_input))
 (*\----------------------------------------------------------------------------/*)
 * Token.T list
 (*/----------------------------------------------------------------------------\* )
diff -r b125dcf14489 -r ce09935439b3 test/Tools/isac/BridgeJEdit/vscode-example.sml
--- a/test/Tools/isac/BridgeJEdit/vscode-example.sml	Wed Aug 03 18:06:02 2022 +0200
+++ b/test/Tools/isac/BridgeJEdit/vscode-example.sml	Wed Aug 03 18:17:27 2022 +0200
@@ -23,7 +23,7 @@
   "SideConditions [((u::real) / 2) \<up> 2 + (2 / v) \<up> 2 = r \<up> 2]",
   "SideConditions [((u::real) / 2) \<up> 2 + (2 / v) \<up> 2 = r \<up> 2]",
   "SideConditions [(u::real) / 2 = r * sin \<alpha>, 2 / v = r * cos \<alpha>]",
-(*MethodC model:*)                
+(*MethodC model:*)
   "FunctionVariable a", "FunctionVariable b", "FunctionVariable \<alpha>",
   "Domain {0 <..< r}",
   "Domain {0 <..< r}",