Mon, 20 Jun 2022 09:56:48 +0200 | review stepwise Specification in vscode-example.sml | file | diff | annotate |
Sun, 29 May 2022 19:05:14 +0200 | Calculation 1': include Demo_Example into build | file | diff | annotate |
Sun, 29 May 2022 11:27:34 +0200 | start Calculation by use of Makarius' "problem" as boilerplate | file | diff | annotate |
Mon, 07 Dec 2020 17:39:21 +0100 | step 2 of integration: interrupted | file | diff | annotate |
Mon, 26 Oct 2020 13:52:26 +0100 | copy Outer_Syntax.command..spark_open as model for Isac Calculation | file | diff | annotate |
Sun, 02 Aug 2020 12:32:34 +0200 | shift code from Test_Parse_Isac to src/ | file | diff | annotate |