isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Wed, 06 Jan 2021 12:43:51 +0100 recovered file-type icons from macos_app;

changeset

wenzelm [Wed, 06 Jan 2021 12:43:51 +0100] rev 73077

recovered file-type icons from macos_app;

Tue, 05 Jan 2021 23:02:58 +0100 clarified application init;

changeset

wenzelm [Tue, 05 Jan 2021 23:02:58 +0100] rev 73076

clarified application init;

Tue, 05 Jan 2021 22:40:58 +0100 recovered bundle icons (not application) from macos_app;

changeset

wenzelm [Tue, 05 Jan 2021 22:40:58 +0100] rev 73075

recovered bundle icons (not application) from macos_app;

Tue, 05 Jan 2021 22:28:33 +0100 proper app directory setup, without macos_app component;

changeset

wenzelm [Tue, 05 Jan 2021 22:28:33 +0100] rev 73074

proper app directory setup, without macos_app component;

Tue, 05 Jan 2021 22:05:18 +0100 more robust;

changeset

wenzelm [Tue, 05 Jan 2021 22:05:18 +0100] rev 73073

more robust;

Tue, 05 Jan 2021 21:58:00 +0100 prefer official Java 9 operations;

changeset

wenzelm [Tue, 05 Jan 2021 21:58:00 +0100] rev 73072

prefer official Java 9 operations;

Tue, 05 Jan 2021 21:47:36 +0100 obsolete;

changeset

wenzelm [Tue, 05 Jan 2021 21:47:36 +0100] rev 73071

obsolete;

Tue, 05 Jan 2021 21:46:35 +0100 proper dock icon for macOS;

changeset

wenzelm [Tue, 05 Jan 2021 21:46:35 +0100] rev 73070

proper dock icon for macOS;

Tue, 05 Jan 2021 20:53:57 +0100 proper isabelle_home_prefix;

changeset

wenzelm [Tue, 05 Jan 2021 20:53:57 +0100] rev 73069

proper isabelle_home_prefix; proper isabelle_options, with link;

Tue, 05 Jan 2021 20:29:57 +0100 discontinued macOS JavaAppLauncher: re-use plain shell script;

changeset

wenzelm [Tue, 05 Jan 2021 20:29:57 +0100] rev 73068

discontinued macOS JavaAppLauncher: re-use plain shell script; more uniform java_options for all platforms;

Tue, 05 Jan 2021 19:34:32 +0100 tuned whitespace;

changeset

wenzelm [Tue, 05 Jan 2021 19:34:32 +0100] rev 73067

tuned whitespace;

Tue, 05 Jan 2021 19:18:57 +0100 tuned -- generate Info.plist in Isabelle/Scala;

changeset

wenzelm [Tue, 05 Jan 2021 19:18:57 +0100] rev 73066

tuned -- generate Info.plist in Isabelle/Scala;

Tue, 05 Jan 2021 19:00:25 +0100 tuned signature;

changeset

wenzelm [Tue, 05 Jan 2021 19:00:25 +0100] rev 73065

tuned signature;

Tue, 05 Jan 2021 18:55:24 +0100 tuned signature;

changeset

wenzelm [Tue, 05 Jan 2021 18:55:24 +0100] rev 73064

tuned signature;

Tue, 05 Jan 2021 18:51:05 +0100 updated according to ~~/etc/settings;

changeset

wenzelm [Tue, 05 Jan 2021 18:51:05 +0100] rev 73063

updated according to ~~/etc/settings; tuned;

Tue, 05 Jan 2021 18:27:43 +0100 more portable component setup;

changeset

wenzelm [Tue, 05 Jan 2021 18:27:43 +0100] rev 73062

more portable component setup;

Tue, 05 Jan 2021 18:21:14 +0100 clarified quotes;

changeset

wenzelm [Tue, 05 Jan 2021 18:21:14 +0100] rev 73061

clarified quotes;

Tue, 05 Jan 2021 17:40:51 +0100 tuned -- generate script by Isabelle/Scala;

changeset

wenzelm [Tue, 05 Jan 2021 17:40:51 +0100] rev 73060

tuned -- generate script by Isabelle/Scala;

Tue, 05 Jan 2021 17:22:07 +0100 proper treatment of XML.Wrapped_Elem, e.g. Markup.class_parameter;

changeset

wenzelm [Tue, 05 Jan 2021 17:22:07 +0100] rev 73059

proper treatment of XML.Wrapped_Elem, e.g. Markup.class_parameter;

Tue, 05 Jan 2021 16:39:53 +0100 proper theory name, e.g. for HTML/PIDE presentation;

changeset

wenzelm [Tue, 05 Jan 2021 16:39:53 +0100] rev 73058

proper theory name, e.g. for HTML/PIDE presentation;

Tue, 05 Jan 2021 16:24:59 +0100 more robust and permissive;

changeset

wenzelm [Tue, 05 Jan 2021 16:24:59 +0100] rev 73057

more robust and permissive;

Tue, 05 Jan 2021 15:47:23 +0100 present theory using PIDE markup;

changeset

wenzelm [Tue, 05 Jan 2021 15:47:23 +0100] rev 73056

present theory using PIDE markup;

Tue, 05 Jan 2021 14:21:18 +0100 clarified signature;

changeset

wenzelm [Tue, 05 Jan 2021 14:21:18 +0100] rev 73055

clarified signature;

Tue, 05 Jan 2021 13:08:45 +0100 tuned signature;

changeset

wenzelm [Tue, 05 Jan 2021 13:08:45 +0100] rev 73054

tuned signature;

Tue, 05 Jan 2021 11:24:35 +0100 tuned

changeset

nipkow [Tue, 05 Jan 2021 11:24:35 +0100] rev 73053

tuned

Tue, 05 Jan 2021 03:35:46 +0100 HOL-Library.Multiset: new notation for prod_mset, consistent with sum_mset

changeset

Manuel Eberl <eberlm@in.tum.de> [Tue, 05 Jan 2021 03:35:46 +0100] rev 73052

HOL-Library.Multiset: new notation for prod_mset, consistent with sum_mset

Mon, 04 Jan 2021 21:25:40 +0100 merged

changeset

wenzelm [Mon, 04 Jan 2021 21:25:40 +0100] rev 73051

merged

Mon, 04 Jan 2021 21:24:15 +0100 more documentation;

changeset

wenzelm [Mon, 04 Jan 2021 21:24:15 +0100] rev 73050