Walther Neuper <walther.neuper@jku.at> [Sun, 04 Apr 2021 13:31:04 +0200] rev 60183
new session for Doc/Specify_Phase, incomplete
Walther Neuper <walther.neuper@jku.at> [Sun, 04 Apr 2021 12:29:42 +0200] rev 60182
separate session Specify
Walther Neuper <walther.neuper@jku.at> [Sat, 03 Apr 2021 15:27:52 +0200] rev 60181
review and update directories in Build_Isac
Walther Neuper <walther.neuper@jku.at> [Mon, 22 Mar 2021 17:22:08 +0100] rev 60180
tuned
Walther Neuper <walther.neuper@jku.at> [Mon, 22 Mar 2021 16:20:56 +0100] rev 60179
remove notes from Calculation.thy
Walther Neuper <walther.neuper@jku.at> [Mon, 22 Mar 2021 08:31:30 +0100] rev 60178
remove outdated comments and trials
Walther Neuper <walther.neuper@jku.at> [Thu, 18 Mar 2021 13:56:45 +0100] rev 60177
Example takes a single file
Walther Neuper <walther.neuper@jku.at> [Mon, 15 Mar 2021 10:49:53 +0100] rev 60176
resume step 6.10: unsuccessful trials with combination of types on Outer_Syntax
note: test in Calculation.thy has Given: "Traegerlaenge " "Streckenlast " outcommented
Walther Neuper <walther.neuper@jku.at> [Mon, 15 Mar 2021 10:45:12 +0100] rev 60175
/----- finish update Isabelle2020 --> Isabelle2021 for Test_Isac_Short.thy
Walther Neuper <walther.neuper@jku.at> [Mon, 15 Mar 2021 10:04:17 +0100] rev 60174
Isabelle2020->21: th_load with constant string
note: this way bypass InteliJ Idea