isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 tip

proper LSMinimumSystemVersion for zulu-jdk-15;
2021-01-06, by wenzelm
obsolete, thanks to zulu-jdk directory layout;
2021-01-06, by wenzelm
clarified Info.plist;
2021-01-06, by wenzelm
more direct ISABELLE_JDK_HOME, thanks to zulu-jdk directory layout;
2021-01-06, by wenzelm
prefer OpenJDK from Azul: supports more versions and platforms;
2021-01-06, by wenzelm
sort lines;
2021-01-06, by wenzelm
tuned;
2021-01-06, by wenzelm
more NEWS;
2021-01-06, by wenzelm
recovered file-type icons from macos_app;
2021-01-06, by wenzelm
clarified application init;
2021-01-05, by wenzelm
recovered bundle icons (not application) from macos_app;
2021-01-05, by wenzelm
proper app directory setup, without macos_app component;
2021-01-05, by wenzelm
more robust;
2021-01-05, by wenzelm
prefer official Java 9 operations;
2021-01-05, by wenzelm
obsolete;
2021-01-05, by wenzelm
proper dock icon for macOS;
2021-01-05, by wenzelm
proper isabelle_home_prefix;
2021-01-05, by wenzelm
discontinued macOS JavaAppLauncher: re-use plain shell script;
2021-01-05, by wenzelm
tuned whitespace;
2021-01-05, by wenzelm
tuned -- generate Info.plist in Isabelle/Scala;
2021-01-05, by wenzelm
tuned signature;
2021-01-05, by wenzelm
tuned signature;
2021-01-05, by wenzelm
updated according to ~~/etc/settings;
2021-01-05, by wenzelm
more portable component setup;
2021-01-05, by wenzelm
clarified quotes;
2021-01-05, by wenzelm
tuned -- generate script by Isabelle/Scala;
2021-01-05, by wenzelm
proper treatment of XML.Wrapped_Elem, e.g. Markup.class_parameter;
2021-01-05, by wenzelm
proper theory name, e.g. for HTML/PIDE presentation;
2021-01-05, by wenzelm
more robust and permissive;
2021-01-05, by wenzelm
present theory using PIDE markup;
2021-01-05, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 tip

isabelle