name
isabelle-release
description
The Isabelle repository (release branch)
owner
unknown
last change
Sat, 01 Jun 2019 11:29:59 +0200

Changes

Sat, 01 Jun 2019 11:29:59 +0200 wenzelm Added tag Isabelle2019-RC4 for changeset ad2d84c42380 default tip changeset | files
Sat, 01 Jun 2019 11:27:19 +0200 wenzelm hint on printing via Web browser; Isabelle2019-RC4 changeset | files
Tue, 28 May 2019 19:52:14 +0200 wenzelm tuned; changeset | files
Mon, 27 May 2019 15:08:51 +0200 wenzelm more direct invocation of Windows exe: avoid extra bash, cygpath, exec; changeset | files
Mon, 27 May 2019 14:25:00 +0200 wenzelm tuned whitespace; changeset | files
Mon, 27 May 2019 12:05:16 +0200 wenzelm updated to bash_process-1.2.3: rebuild on current reference PLATFORMS; changeset | files
Sat, 25 May 2019 14:13:46 +0200 wenzelm Added tag Isabelle2019-RC3 for changeset 85de4fdec61b changeset | files
Fri, 24 May 2019 21:14:02 +0200 wenzelm more robust InstallPath (amending 4ce07be8ba17): self-directory may be odd temp dir produced by browser "Run" operation; Isabelle2019-RC3 changeset | files
Fri, 24 May 2019 20:16:35 +0200 wenzelm avoid extra subprocess -- potentially more robust on Cygwin; changeset | files
Fri, 24 May 2019 20:08:52 +0200 wenzelm updated to cygwin-20190524; changeset | files
...

Tags

Sat, 01 Jun 2019 11:27:19 +0200 Isabelle2019-RC4 changeset | changelog | files
Fri, 24 May 2019 21:14:02 +0200 Isabelle2019-RC3 changeset | changelog | files
Sat, 11 May 2019 15:40:08 +0200 Isabelle2019-RC2 changeset | changelog | files
Fri, 03 May 2019 11:50:32 +0200 Isabelle2019-RC1 changeset | changelog | files
Tue, 02 Apr 2019 14:56:32 +0200 Isabelle2019-RC0 changeset | changelog | files
Sun, 12 Aug 2018 14:28:28 +0200 Isabelle2018 changeset | changelog | files
Wed, 04 Oct 2017 12:00:53 +0200 Isabelle2017 changeset | changelog | files
Mon, 12 Dec 2016 11:17:23 +0100 Isabelle2016-1 changeset | changelog | files
Mon, 15 Feb 2016 14:55:44 +0100 Isabelle2016 changeset | changelog | files
Sat, 23 May 2015 17:19:37 +0200 Isabelle2015 changeset | changelog | files
...

Bookmarks

...

Branches

Sat, 01 Jun 2019 11:29:59 +0200 default changeset | changelog | files
...

mercurial