| Mon, 01 Jan 2024 11:31:16 +0100 | Doc/Specify_Phase 4: start use antiquotations from isar-ref | file | diff | annotate |
| Sun, 31 Dec 2023 15:13:39 +0100 | Doc/Specify_Phase 3: use antiquotations from Lucas_Interpreter | file | diff | annotate |
| Sun, 31 Dec 2023 09:42:27 +0100 | Doc/Specify_Phase 2: copy finished | file | diff | annotate |
| Sat, 30 Dec 2023 17:52:03 +0100 | Doc/Specify_Phase 1: first part copied from ThEdu'23 paper | file | diff | annotate |
| Sat, 30 Dec 2023 16:49:50 +0100 | bind Doc/Lucas_Interpreter and Doc/Specify_Phase into Test_Isac | file | diff | annotate |
| Wed, 05 Apr 2023 17:46:25 +0200 | repair Test_Isac (remove one flaw) | file | diff | annotate |
| Tue, 13 Apr 2021 14:07:17 +0200 | repair setup for session "Doc" cf.751b8a13c271 | file | diff | annotate |
| Tue, 13 Apr 2021 13:20:05 +0200 | trial with setup for session "Doc", unsuccessful | file | diff | annotate |
| Sun, 04 Apr 2021 13:31:04 +0200 | new session for Doc/Specify_Phase, incomplete | file | diff | annotate |