description"Misc Mercurial repositories"
ownerunknown
last changeWed, 07 Apr 2021 11:05:00 +0200
changes
Wed, 07 Apr 2021 11:05:00 +0200 Manuel Eberl fixed problematic addition operation in the 'approximation' package (previous version used much too high precision sometimes) draft default tip
Tue, 06 Apr 2021 18:12:20 +0000 haftmann new lemmas
Mon, 05 Apr 2021 22:46:41 +0200 wenzelm discontinue old Ubuntu 18.04 LTS, e.g. it cannot build documentation "prog-prove";
Mon, 05 Apr 2021 22:45:01 +0200 wenzelm following recent Phabricator update, after 2021 Week 13 (Late March);
Fri, 02 Apr 2021 12:24:35 +0100 paulson merged
Fri, 02 Apr 2021 12:24:29 +0100 paulson Cosmetic: no !! in the lemma statement
Thu, 01 Apr 2021 19:14:43 +0200 wenzelm clarified README;
Thu, 01 Apr 2021 19:07:06 +0200 wenzelm more standard header, with utf-8 encoding;
Thu, 01 Apr 2021 19:01:19 +0200 wenzelm clarified HTML template (see also 04cb7e02ca38): avoid odd patching of sources;
Thu, 01 Apr 2021 07:35:03 +0200 nipkow merged
...
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
Wed, 07 Apr 2021 11:05:00 +0200 default
...