descriptionThe Isabelle repository
ownerisabelle
last changeMon, 10 May 2021 22:32:02 +0200
changes
Mon, 10 May 2021 22:32:02 +0200 wenzelm proper build for fresh target directory (amending d9823224fcfe); default tip
Mon, 10 May 2021 22:18:12 +0200 wenzelm put more resources into jedit_build component;
Mon, 10 May 2021 20:09:47 +0200 wenzelm more brackets (see f6b453449cc6);
Mon, 10 May 2021 18:31:18 +0200 wenzelm more brackets;
Mon, 10 May 2021 17:15:37 +0200 wenzelm proper settings variable, amending 6e85281177df;
Mon, 10 May 2021 16:26:15 +0200 wenzelm merged
Mon, 10 May 2021 16:14:34 +0200 wenzelm tuned proofs --- avoid z3, which is absent on arm64-linux;
Mon, 10 May 2021 14:28:37 +0200 wenzelm proper condition: z3 could be absent, e.g. on arm64-linux;
Mon, 10 May 2021 12:23:30 +0200 wenzelm build auxiliary jEdit component in Isabelle/Scala;
Sat, 08 May 2021 13:06:30 +0200 wenzelm separate component for idea-icons.jar, from jedit_build (see also ff0e0bb81597);
...
tags
Sat, 20 Feb 2021 13:42:37 +0100 Isabelle2021
Mon, 13 Apr 2020 22:08:14 +0200 Isabelle2020
Sat, 01 Jun 2019 11:29:59 +0200 Isabelle2019
Sun, 12 Aug 2018 14:28:28 +0200 Isabelle2018
Wed, 04 Oct 2017 12:00:53 +0200 Isabelle2017
Mon, 12 Dec 2016 11:17:23 +0100 Isabelle2016-1
Mon, 15 Feb 2016 14:55:44 +0100 Isabelle2016
Sat, 23 May 2015 17:19:37 +0200 Isabelle2015
Mon, 18 Aug 2014 12:17:31 +0200 Isabelle2014
Wed, 04 Dec 2013 18:59:20 +0100 Isabelle2013-2
...
bookmarks
...
branches
Mon, 10 May 2021 22:32:02 +0200 default
...