| Sat, 10 Dec 2022 14:57:49 +0100 |
backed out changeset 836b57d05d0a: cwd is above isa/ and isabisac/ in README.md;
|
file | diff | annotate |
| Fri, 09 Dec 2022 16:28:10 +0100 |
after update of Isabelle version
|
file | diff | annotate |
| Tue, 15 Nov 2022 11:11:06 +0100 |
proper quotes;
|
file | diff | annotate |
| Tue, 26 Jul 2022 22:29:35 +0200 |
cleanup after trials on stepwise input to Example
|
file | diff | annotate |
| Wed, 20 Jul 2022 11:11:31 +0200 |
tuned
|
file | diff | annotate |
| Mon, 20 Jun 2022 11:51:12 +0200 |
initialise state from intermed. example_store
|
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 |
| Tue, 24 May 2022 12:57:47 +0200 |
unify parse 5: for appendFormula and CAS-cmd
|
file | diff | annotate |
| Mon, 23 May 2022 18:23:25 +0200 |
disentangle isa and isa2
|
file | diff | annotate |
| Mon, 23 May 2022 15:18:27 +0200 |
resume development
|
file | diff | annotate |
| Mon, 19 Apr 2021 18:05:01 +0200 |
more hints;
|
file | diff | annotate |
| Mon, 19 Apr 2021 15:48:46 +0200 |
tuned;
|
file | diff | annotate |
| Mon, 19 Apr 2021 15:27:18 +0200 |
back to repository location as path that is relative to the current directory:
|
file | diff | annotate |
| Mon, 19 Apr 2021 15:02:00 +0200 |
long identifiers for occurences in test/../termC.sml
|
file | diff | annotate |
| Sun, 18 Apr 2021 18:32:57 +0200 |
clarified name of Isabelle repository clone;
|
file | diff | annotate |
| Sun, 18 Apr 2021 18:30:31 +0200 |
proper test sessions, but with remaining failures;
|
file | diff | annotate |
| Sun, 18 Apr 2021 16:11:38 +0200 |
disentangle Isabelle repository "isab" vs. ISAC repository "isa":
|
file | diff | annotate |