| Sun, 31 Dec 2023 09:42:27 +0100 | Doc/Specify_Phase 2: copy finished | file | diff | annotate |
| Sun, 04 Apr 2021 13:31:04 +0200 | new session for Doc/Specify_Phase, incomplete | file | diff | annotate |
| Wed, 11 Mar 2020 15:25:52 +0100 | start formally checked documentation with Lucas_Interpreter | file | diff | annotate |