equal
deleted
inserted
replaced
54 "Test_Code/Test_Code" |
54 "Test_Code/Test_Code" |
55 "BridgeLibisabelle/BridgeLibisabelle" |
55 "BridgeLibisabelle/BridgeLibisabelle" |
56 "BridgeJEdit/BridgeJEdit" |
56 "BridgeJEdit/BridgeJEdit" |
57 "Knowledge/Build_Thydata" |
57 "Knowledge/Build_Thydata" |
58 "Build_Isac" |
58 "Build_Isac" |
59 |
|
60 (* run "./bin/isabelle build -v -b Doc" *) |
|
61 session Doc in Doc = Interpret + |
|
62 description " |
|
63 Formally checked documentation for Isac in analogy to ~~/Doc/. |
|
64 " |
|
65 options [document = false (*, browser_info = true*)] |
|
66 directories |
|
67 "Lucas_Interpreter" |
|
68 theories |
|
69 "Lucas_Interpreter/Lucas_Interpreter" |
|
70 |
|