Tue, 31 May 2022 16:21:22 +0200 | cleanup | file | diff | annotate |
Tue, 31 May 2022 10:17:11 +0200 | cleanup | file | diff | annotate |
Tue, 31 May 2022 09:57:15 +0200 | Calculation 2: Demo_Example without ML code | file | diff | annotate |
Tue, 31 May 2022 09:36:02 +0200 | Calculation 1''': remove test-code from previous changeset 1c8263e775d4 | file | diff | annotate |
Tue, 31 May 2022 09:16:12 +0200 | Calculation 1'': ERROR in Demo_Example.thy, questions in TODO.md | file | diff | annotate |
Sun, 29 May 2022 19:00:35 +0200 | Calculation 1: minimal changes in code + application | file | diff | annotate |
Sun, 29 May 2022 12:17:09 +0200 | start Calculation by use of Makarius' "problem" as boilerplate + add files | file | diff | annotate |