1.1 --- a/src/Tools/isac/ROOT Thu Apr 08 13:27:27 2021 +0200
1.2 +++ b/src/Tools/isac/ROOT Tue Apr 13 13:20:05 2021 +0200
1.3 @@ -56,3 +56,18 @@
1.4 "BridgeJEdit/BridgeJEdit"
1.5 "Knowledge/Build_Thydata"
1.6 "Build_Isac"
1.7 +
1.8 +(*~~$ ./bin/isabelle build -v -b Doc #check ok, no output
1.9 + *)
1.10 +session Doc in Doc = Interpret +
1.11 + description "
1.12 + Formally checked documentation for Isac in analogy to ~~/Doc/.
1.13 + "
1.14 + options [document = false (*, browser_info = true*)]
1.15 + directories
1.16 + "Lucas_Interpreter"
1.17 + "Specify_Phase"
1.18 + theories
1.19 + "Lucas_Interpreter/Lucas_Interpreter"
1.20 + "Specify_Phase/Specify_Phase"
1.21 +