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 -60 +60 +100 +300 +1000 +3000 tip

dropped junk
2021-01-07, by haftmann
try GTK 3: some visual dropouts, but more stable e.g. in Sidekick "isabelle-markup";
2021-01-07, by wenzelm
detect arm64-darwin more reliably: uname could be in x86_64 mode, e.g. within app bundle;
2021-01-06, by wenzelm
proper purge for arm64-darwin;
2021-01-06, by wenzelm
updated jdk-15.0.1+9, including arm64-darwin;
2021-01-06, by wenzelm
discontinued somethat pointless sharing: too complicated;
2021-01-06, by wenzelm
less verbose;
2021-01-06, by wenzelm
more robust sharing, despite minimal impact on archive size;
2021-01-06, by wenzelm
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
clarified signature;
2021-01-05, by wenzelm
tuned signature;
2021-01-05, by wenzelm
tuned
2021-01-05, by nipkow
HOL-Library.Multiset: new notation for prod_mset, consistent with sum_mset
2021-01-05, by Manuel Eberl
merged
2021-01-04, by wenzelm
more documentation;
2021-01-04, by wenzelm
override existing action, to retain menu item;
2021-01-04, by wenzelm
HOL-Complex_Analysis: coefficient asymptotics for meromorphic functions
2021-01-04, by Manuel Eberl
HOL-Library: Changed notation for sum_mset
2021-01-04, by Manuel Eberl
tuned;
2021-01-04, by wenzelm
proper thread position for reports;
2021-01-04, by wenzelm
tuned signature;
2021-01-04, by wenzelm
misc tuning and clarification;
2021-01-04, by wenzelm
tuned signature;
2021-01-04, by wenzelm
tuned;
2021-01-04, by wenzelm
alternative shortcut, notably for macOS;
2021-01-03, by wenzelm
action isabelle.toggle-full-screen;
2021-01-03, by wenzelm
some attempts at multi-platform full-screen mode;
2021-01-03, by wenzelm
more operations;
2021-01-03, by wenzelm
clarified HTML presentation elements;
2021-01-03, by wenzelm
more robust bootstrap: Isabelle-jEdit.shasum could be absent;
2021-01-03, by wenzelm
tuned whitespace (amending a4bffc0de967);
2021-01-02, by wenzelm

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

isabelle