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 |
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 |
Thu, 08 Apr 2021 13:27:27 +0200 |
avoid odd clones of Isabelle latex styles:
|
file | diff | annotate |
Thu, 08 Apr 2021 13:09:44 +0200 |
proper setup for "Doc" sessions;
|
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 |