| Fri, 09 Dec 2022 12:37:26 +0100 | follow Isabelle repository; | file | diff | annotate |
| Tue, 15 Nov 2022 13:52:25 +0100 | update to Isabelle2022 release; | file | diff | annotate |
| Thu, 16 Sep 2021 11:47:03 +0200 | follow Isabelle repository; | file | diff | annotate |
| Sun, 18 Apr 2021 16:11:38 +0200 | disentangle Isabelle repository "isab" vs. ISAC repository "isa": | file | diff | annotate |