1.1 --- a/src/Tools/isac/ROOT Mon Mar 22 14:47:06 2021 +0100
1.2 +++ b/src/Tools/isac/ROOT Thu Apr 08 13:09:44 2021 +0200
1.3 @@ -56,15 +56,3 @@
1.4 "BridgeJEdit/BridgeJEdit"
1.5 "Knowledge/Build_Thydata"
1.6 "Build_Isac"
1.7 -
1.8 -(* run "./bin/isabelle build -v -b Doc" *)
1.9 -session Doc in Doc = Interpret +
1.10 - description "
1.11 - Formally checked documentation for Isac in analogy to ~~/Doc/.
1.12 - "
1.13 - options [document = false (*, browser_info = true*)]
1.14 - directories
1.15 - "Lucas_Interpreter"
1.16 - theories
1.17 - "Lucas_Interpreter/Lucas_Interpreter"
1.18 -