description"Misc Mercurial repositories"
ownerunknown
last changeMon, 03 May 2021 21:49:30 +0100
changes
Mon, 03 May 2021 21:49:30 +0100 paulson A nice cardinality lemma draft default tip
Mon, 03 May 2021 19:06:33 +0200 nipkow tuned
Sun, 02 May 2021 21:46:59 +0200 wenzelm more robust indentation: proper line context after insert;
Sun, 02 May 2021 20:51:21 +0200 wenzelm more robust: avoid sporadic crash of JEditBuffer.tokenMarker.getMainRuleSet().getModeName();
Sun, 02 May 2021 17:38:49 +0200 wenzelm support nested cases;
Sun, 02 May 2021 15:56:58 +0200 wenzelm tuned;
Sun, 02 May 2021 15:22:19 +0200 wenzelm tuned;
Sun, 02 May 2021 14:07:19 +0200 wenzelm early definition of ML antiquotations;
Sat, 01 May 2021 11:54:09 +0200 wenzelm tuned;
Thu, 29 Apr 2021 22:39:33 +0200 wenzelm clarified signature: more operations;
...
tags
Sat, 20 Feb 2021 13:42:37 +0100 Isabelle2021
Sat, 13 Feb 2021 21:19:53 +0100 Isabelle2021-RC6
Mon, 08 Feb 2021 20:47:56 +0100 Isabelle2021-RC5
Mon, 01 Feb 2021 13:29:22 +0100 Isabelle2021-RC4
Sun, 24 Jan 2021 17:11:40 +0100 Isabelle2021-RC3
Sun, 10 Jan 2021 15:35:24 +0100 Isabelle2021-RC2
Sun, 27 Dec 2020 15:15:37 +0100 Isabelle2021-RC1
Sun, 29 Nov 2020 23:23:32 +0100 Isabelle2021-RC0
Mon, 13 Apr 2020 22:08:14 +0200 Isabelle2020
Mon, 02 Mar 2020 15:33:58 +0100 Isabelle2020-RC1
...
bookmarks
...
branches
Mon, 03 May 2021 21:49:30 +0100 default
...