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

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
clarified caching;
2021-01-02, by wenzelm
persistent hash code: much faster caching;
2021-01-02, by wenzelm
clarified signature: absorb XZ.Cache into XML.Cache;
2021-01-02, by wenzelm
support more direct hash-consing via XML.Cache;
2021-01-02, by wenzelm
tuned;
2021-01-02, by wenzelm
tuned signature;
2021-01-02, by wenzelm
clarified boundary case;
2021-01-02, by wenzelm
more uniform default --- hardly relevant in practice;
2021-01-02, by wenzelm
proper ssh_port (amending ffd8283b7be0);
2021-01-02, by wenzelm
clarified signature --- internal Cache.none;
2021-01-02, by wenzelm
tuned comments;
2021-01-02, by wenzelm
more verbosity for potentially bulky presentation;
2021-01-02, by wenzelm
tuned signature -- prefer Isabelle/ML structure Integer (despite minor confusion due to canonical argument order of "pow");
2021-01-01, by wenzelm
tuned signature -- prefer Isabelle/ML structure Integer;
2021-01-01, by wenzelm
tuned signature -- prefer Isabelle/ML structure Integer;
2021-01-01, by wenzelm
more lemmas
2020-12-29, by nipkow

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

isabelle