Wed, 03 Aug 2022 18:17:27 +0200 | cleanup | file | diff | annotate |
Wed, 03 Aug 2022 17:18:47 +0200 | replace val rew_ord' = Unsynchronized.ref by Theory_Data | file | diff | annotate |
Tue, 26 Jul 2022 22:29:35 +0200 | cleanup after trials on stepwise input to Example | file | diff | annotate |
Thu, 23 Jun 2022 12:23:38 +0200 | tuned | file | diff | annotate |
Mon, 20 Jun 2022 11:55:55 +0200 | add text/../vscode-example.sml | file | diff | annotate |