wneuper <Walther.Neuper@jku.at> [Mon, 20 Jun 2022 09:56:48 +0200] rev 60466
review stepwise Specification in vscode-example.sml
wneuper <Walther.Neuper@jku.at> [Sun, 19 Jun 2022 16:55:13 +0200] rev 60465
shifts tests to VSCode_Example.thy, vscode-example.sml
wneuper <Walther.Neuper@jku.at> [Sun, 19 Jun 2022 16:10:11 +0200] rev 60464
remove type error from Fromalise.model
wneuper <Walther.Neuper@jku.at> [Sun, 19 Jun 2022 15:38:51 +0200] rev 60463
add MethodC for Demo_Example
wneuper <Walther.Neuper@jku.at> [Sun, 19 Jun 2022 14:56:00 +0200] rev 60462
tuned
wneuper <Walther.Neuper@jku.at> [Sun, 19 Jun 2022 14:54:14 +0200] rev 60461
add Problem for Demo_Example
wneuper <Walther.Neuper@jku.at> [Sun, 19 Jun 2022 12:46:43 +0200] rev 60460
add input-descriptors for Demo_Example
wneuper <Walther.Neuper@jku.at> [Sun, 19 Jun 2022 09:35:51 +0200] rev 60459
review tests similar to Demo_Example
wneuper <Walther.Neuper@jku.at> [Sat, 18 Jun 2022 12:34:29 +0200] rev 60458
adapth thy to Demo_Example
wneuper <Walther.Neuper@jku.at> [Fri, 17 Jun 2022 12:15:09 +0200] rev 60457
start checking input by ISAC