isabelle: Graph

merged default tip
2 days ago, by wenzelm
updated to scala-2.13: its ArraySeq implementation is not usable here (requires scala.relection.ClassTag);
3 days ago, by wenzelm
updated to scala-2.13.4;
3 days ago, by wenzelm
clarified;
3 days ago, by wenzelm
clarified return code: re-use SIGALRM for soft timeout;
3 days ago, by wenzelm
clarified signature: more operations;
3 days ago, by wenzelm
tuned;
4 days ago, by wenzelm
clarified signature: support more generic server implementations;
5 days ago, by wenzelm
tuned comments;
6 days ago, by wenzelm
proper </html>;
8 days ago, by wenzelm
tuned message;
9 days ago, by wenzelm
new magerial from Jakub Kądziołka
5 days ago, by paulson
back to post-release mode;
9 days ago, by wenzelm
Added tag Isabelle2021-RC2 for changeset 802647edfe7b
9 days ago, by wenzelm
tuned; Isabelle2021-RC2
9 days ago, by wenzelm
avoid Unicode quotes;
9 days ago, by wenzelm
clarified pretty margin: attempt to avoid scrollbar;
9 days ago, by wenzelm
more documentation;
9 days ago, by wenzelm
more informative errors: simplify diagnosis of spurious failures reported by users;
9 days ago, by wenzelm
proper labels for status message: "sidekick.parsing-complete={0} parsing complete, {1} error(s)";
10 days ago, by wenzelm
proper size of buttons in Symbols dockable, e.g. \<A> 0x01d49c vs. \<B> 0x00212c;
10 days ago, by wenzelm
clarified list of presented look-and-feels;
10 days ago, by wenzelm
clarified default L&F of Isabelle/Scala (not Isabelle/jEdit);
10 days ago, by wenzelm
discontinued odd absolute position (amending 85bcdd05c6d0, 1975f397eabb): it violates translation invariance of commands and may lead to redundant re-checking of PIDE document;
10 days ago, by wenzelm
Corrected lemma that was too specific in HOL-Computational_Algebra
10 days ago, by Manuel Eberl
tuned GUI, notably for scalable FlatLaf;
11 days ago, by wenzelm
clarified default L&F;
11 days ago, by wenzelm
support for additional look-and-feels;
11 days ago, by wenzelm
avoid rescaled fonts, e.g. dockable buttons on Windows L&F after opening a new view;
11 days ago, by wenzelm
some algebra material for HOL: characteristic of a ring, algebraic integers
11 days ago, by Manuel Eberl
HOL-Data_Structures: added Selection and time functions for list functions
11 days ago, by Manuel Eberl
merged
11 days ago, by wenzelm
discontinued body_range (again): does not quite work, because Position.thread_data is plain Toplevel.pos_of only;
11 days ago, by wenzelm
clarified: command keyword position is sufficient (amending 693a39f2cddc);
11 days ago, by wenzelm
ignore error messages produced by CVC4 when generating BV
11 days ago, by Mathias Fleury
One useful lemma/simprule
11 days ago, by paulson
isabelle update_cartouches;
11 days ago, by wenzelm
tuned --- prefer explicit position;
11 days ago, by wenzelm
recovered body_range from eca176f773e0 --- its Command.core_range is in conflict with batch-build markup;
11 days ago, by wenzelm
tuned;
11 days ago, by wenzelm
support more command positions, analogous to Command.core_range in Isabelle/Scala;
11 days ago, by wenzelm
tuned;
11 days ago, by wenzelm
more uniform core_range (amending def3ec9cdb7e);
11 days ago, by wenzelm
clarified dock icon: setup earlier on startup;
12 days ago, by wenzelm
clarified NEWS;
12 days ago, by wenzelm
dropped junk
12 days ago, by haftmann
try GTK 3: some visual dropouts, but more stable e.g. in Sidekick "isabelle-markup";
13 days ago, by wenzelm
detect arm64-darwin more reliably: uname could be in x86_64 mode, e.g. within app bundle;
13 days ago, by wenzelm
proper purge for arm64-darwin;
13 days ago, by wenzelm
updated jdk-15.0.1+9, including arm64-darwin;
13 days ago, by wenzelm
discontinued somethat pointless sharing: too complicated;
13 days ago, by wenzelm
less verbose;
13 days ago, by wenzelm
more robust sharing, despite minimal impact on archive size;
13 days ago, by wenzelm
proper LSMinimumSystemVersion for zulu-jdk-15;
13 days ago, by wenzelm
obsolete, thanks to zulu-jdk directory layout;
13 days ago, by wenzelm
clarified Info.plist;
13 days ago, by wenzelm
more direct ISABELLE_JDK_HOME, thanks to zulu-jdk directory layout;
13 days ago, by wenzelm
prefer OpenJDK from Azul: supports more versions and platforms;
13 days ago, by wenzelm
sort lines;
13 days ago, by wenzelm
tuned;
13 days ago, by wenzelm
more NEWS;
13 days ago, by wenzelm
recovered file-type icons from macos_app;
13 days ago, by wenzelm
clarified application init;
2 weeks ago, by wenzelm
recovered bundle icons (not application) from macos_app;
2 weeks ago, by wenzelm
proper app directory setup, without macos_app component;
2 weeks ago, by wenzelm
more robust;
2 weeks ago, by wenzelm
prefer official Java 9 operations;
2 weeks ago, by wenzelm
obsolete;
2 weeks ago, by wenzelm
proper dock icon for macOS;
2 weeks ago, by wenzelm
proper isabelle_home_prefix;
2 weeks ago, by wenzelm
discontinued macOS JavaAppLauncher: re-use plain shell script;
2 weeks ago, by wenzelm
tuned whitespace;
2 weeks ago, by wenzelm
tuned -- generate Info.plist in Isabelle/Scala;
2 weeks ago, by wenzelm
tuned signature;
2 weeks ago, by wenzelm
tuned signature;
2 weeks ago, by wenzelm
updated according to ~~/etc/settings;
2 weeks ago, by wenzelm
more portable component setup;
2 weeks ago, by wenzelm
clarified quotes;
2 weeks ago, by wenzelm
tuned -- generate script by Isabelle/Scala;
2 weeks ago, by wenzelm
proper treatment of XML.Wrapped_Elem, e.g. Markup.class_parameter;
2 weeks ago, by wenzelm
proper theory name, e.g. for HTML/PIDE presentation;
2 weeks ago, by wenzelm
more robust and permissive;
2 weeks ago, by wenzelm
present theory using PIDE markup;
2 weeks ago, by wenzelm
clarified signature;
2 weeks ago, by wenzelm
tuned signature;
2 weeks ago, by wenzelm
tuned
2 weeks ago, by nipkow
HOL-Library.Multiset: new notation for prod_mset, consistent with sum_mset
2 weeks ago, by Manuel Eberl
merged
2 weeks ago, by wenzelm
more documentation;
2 weeks ago, by wenzelm
override existing action, to retain menu item;
2 weeks ago, by wenzelm
HOL-Complex_Analysis: coefficient asymptotics for meromorphic functions
2 weeks ago, by Manuel Eberl
HOL-Library: Changed notation for sum_mset
2 weeks ago, by Manuel Eberl
tuned;
2 weeks ago, by wenzelm
proper thread position for reports;
2 weeks ago, by wenzelm
tuned signature;
2 weeks ago, by wenzelm
misc tuning and clarification;
2 weeks ago, by wenzelm
tuned signature;
2 weeks ago, by wenzelm
tuned;
2 weeks ago, by wenzelm
alternative shortcut, notably for macOS;
2 weeks ago, by wenzelm
action isabelle.toggle-full-screen;
2 weeks ago, by wenzelm
some attempts at multi-platform full-screen mode;
2 weeks ago, by wenzelm
more operations;
2 weeks ago, by wenzelm
clarified HTML presentation elements;
2 weeks ago, by wenzelm
more robust bootstrap: Isabelle-jEdit.shasum could be absent;
2 weeks ago, by wenzelm
tuned whitespace (amending a4bffc0de967);
2 weeks ago, by wenzelm
clarified caching;
2 weeks ago, by wenzelm
persistent hash code: much faster caching;
2 weeks ago, by wenzelm
clarified signature: absorb XZ.Cache into XML.Cache;
2 weeks ago, by wenzelm
support more direct hash-consing via XML.Cache;
2 weeks ago, by wenzelm
tuned;
2 weeks ago, by wenzelm
tuned signature;
2 weeks ago, by wenzelm
clarified boundary case;
2 weeks ago, by wenzelm
more uniform default --- hardly relevant in practice;
2 weeks ago, by wenzelm
proper ssh_port (amending ffd8283b7be0);
2 weeks ago, by wenzelm
clarified signature --- internal Cache.none;
2 weeks ago, by wenzelm
tuned comments;
2 weeks ago, by wenzelm
more verbosity for potentially bulky presentation;
2 weeks ago, by wenzelm
tuned signature -- prefer Isabelle/ML structure Integer (despite minor confusion due to canonical argument order of "pow");
2 weeks ago, by wenzelm
tuned signature -- prefer Isabelle/ML structure Integer;
2 weeks ago, by wenzelm
tuned signature -- prefer Isabelle/ML structure Integer;
2 weeks ago, by wenzelm