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 tip

avoid Unicode quotes;
18 months ago, by wenzelm
clarified pretty margin: attempt to avoid scrollbar;
18 months ago, by wenzelm
more documentation;
18 months ago, by wenzelm
more informative errors: simplify diagnosis of spurious failures reported by users;
18 months ago, by wenzelm
proper labels for status message: "sidekick.parsing-complete={0} parsing complete, {1} error(s)";
18 months ago, by wenzelm
proper size of buttons in Symbols dockable, e.g. \<A> 0x01d49c vs. \<B> 0x00212c;
18 months ago, by wenzelm
clarified list of presented look-and-feels;
18 months ago, by wenzelm
clarified default L&F of Isabelle/Scala (not Isabelle/jEdit);
18 months 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;
18 months ago, by wenzelm
Corrected lemma that was too specific in HOL-Computational_Algebra
18 months ago, by Manuel Eberl
tuned GUI, notably for scalable FlatLaf;
18 months ago, by wenzelm
clarified default L&F;
18 months ago, by wenzelm
support for additional look-and-feels;
18 months ago, by wenzelm
avoid rescaled fonts, e.g. dockable buttons on Windows L&F after opening a new view;
18 months ago, by wenzelm
some algebra material for HOL: characteristic of a ring, algebraic integers
18 months ago, by Manuel Eberl
HOL-Data_Structures: added Selection and time functions for list functions
18 months ago, by Manuel Eberl
merged
18 months ago, by wenzelm
discontinued body_range (again): does not quite work, because Position.thread_data is plain Toplevel.pos_of only;
18 months ago, by wenzelm
clarified: command keyword position is sufficient (amending 693a39f2cddc);
18 months ago, by wenzelm
ignore error messages produced by CVC4 when generating BV
18 months ago, by Mathias Fleury
One useful lemma/simprule
18 months ago, by paulson
isabelle update_cartouches;
18 months ago, by wenzelm
tuned --- prefer explicit position;
18 months ago, by wenzelm
recovered body_range from eca176f773e0 --- its Command.core_range is in conflict with batch-build markup;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
support more command positions, analogous to Command.core_range in Isabelle/Scala;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
more uniform core_range (amending def3ec9cdb7e);
18 months ago, by wenzelm
clarified dock icon: setup earlier on startup;
18 months ago, by wenzelm
clarified NEWS;
18 months ago, by wenzelm
dropped junk
18 months ago, by haftmann
try GTK 3: some visual dropouts, but more stable e.g. in Sidekick "isabelle-markup";
18 months ago, by wenzelm
detect arm64-darwin more reliably: uname could be in x86_64 mode, e.g. within app bundle;
18 months ago, by wenzelm
proper purge for arm64-darwin;
18 months ago, by wenzelm
updated jdk-15.0.1+9, including arm64-darwin;
18 months ago, by wenzelm
discontinued somethat pointless sharing: too complicated;
18 months ago, by wenzelm
less verbose;
18 months ago, by wenzelm
more robust sharing, despite minimal impact on archive size;
18 months ago, by wenzelm
proper LSMinimumSystemVersion for zulu-jdk-15;
18 months ago, by wenzelm
obsolete, thanks to zulu-jdk directory layout;
18 months ago, by wenzelm
clarified Info.plist;
18 months ago, by wenzelm
more direct ISABELLE_JDK_HOME, thanks to zulu-jdk directory layout;
18 months ago, by wenzelm
prefer OpenJDK from Azul: supports more versions and platforms;
18 months ago, by wenzelm
sort lines;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
more NEWS;
18 months ago, by wenzelm
recovered file-type icons from macos_app;
18 months ago, by wenzelm
clarified application init;
18 months ago, by wenzelm
recovered bundle icons (not application) from macos_app;
18 months ago, by wenzelm
proper app directory setup, without macos_app component;
18 months ago, by wenzelm
more robust;
18 months ago, by wenzelm
prefer official Java 9 operations;
18 months ago, by wenzelm
obsolete;
18 months ago, by wenzelm
proper dock icon for macOS;
18 months ago, by wenzelm
proper isabelle_home_prefix;
18 months ago, by wenzelm
discontinued macOS JavaAppLauncher: re-use plain shell script;
18 months ago, by wenzelm
tuned whitespace;
18 months ago, by wenzelm
tuned -- generate Info.plist in Isabelle/Scala;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm

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

isabelle