wneuper <Walther.Neuper@jku.at> [Wed, 20 Jul 2022 11:48:38 +0200] rev 60484
investigate Outer_Syntax.command \<^command_keyword>?problem?
wneuper <Walther.Neuper@jku.at> [Wed, 20 Jul 2022 11:11:31 +0200] rev 60483
tuned
wneuper <Walther.Neuper@jku.at> [Thu, 23 Jun 2022 12:23:38 +0200] rev 60482
tuned
wneuper <Walther.Neuper@jku.at> [Wed, 22 Jun 2022 19:37:56 +0200] rev 60481
inspect Formalise.T
wneuper <Walther.Neuper@jku.at> [Wed, 22 Jun 2022 19:26:18 +0200] rev 60480
inspect SpecificationC.is_complete
wneuper <Walther.Neuper@jku.at> [Wed, 22 Jun 2022 17:33:45 +0200] rev 60479
initialise VSCode_Example with complete Specification
wneuper <Walther.Neuper@jku.at> [Wed, 22 Jun 2022 16:24:08 +0200] rev 60478
rename functions in i-model.sml finished
wneuper <Walther.Neuper@jku.at> [Tue, 21 Jun 2022 16:04:43 +0200] rev 60477
rename functions in i-model.sml
wneuper <Walther.Neuper@jku.at> [Tue, 21 Jun 2022 13:51:04 +0200] rev 60476
tuned
wneuper <Walther.Neuper@jku.at> [Tue, 21 Jun 2022 12:41:52 +0200] rev 60475
rename functions in o-model.sml finish