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 (*~~$ ./bin/isabelle build -v -b Doc #check ok, no output |
|
61 *) |
|
62 session Doc in Doc = Interpret + |
|
63 description " |
|
64 Formally checked documentation for Isac in analogy to ~~/Doc/. |
|
65 " |
|
66 options [document = false (*, browser_info = true*)] |
|
67 directories |
|
68 "Lucas_Interpreter" |
|
69 "Specify_Phase" |
|
70 theories |
|
71 "Lucas_Interpreter/Lucas_Interpreter" |
|
72 "Specify_Phase/Specify_Phase" |
|
73 |