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 tip

avoid rescaled fonts, e.g. dockable buttons on Windows L&F after opening a new view;
3 months ago, by wenzelm
some algebra material for HOL: characteristic of a ring, algebraic integers
3 months ago, by Manuel Eberl
HOL-Data_Structures: added Selection and time functions for list functions
3 months ago, by Manuel Eberl
merged
3 months ago, by wenzelm
discontinued body_range (again): does not quite work, because Position.thread_data is plain Toplevel.pos_of only;
3 months ago, by wenzelm
clarified: command keyword position is sufficient (amending 693a39f2cddc);
3 months ago, by wenzelm
ignore error messages produced by CVC4 when generating BV
3 months ago, by Mathias Fleury
One useful lemma/simprule
3 months ago, by paulson
isabelle update_cartouches;
3 months ago, by wenzelm
tuned --- prefer explicit position;
3 months ago, by wenzelm
recovered body_range from eca176f773e0 --- its Command.core_range is in conflict with batch-build markup;
3 months ago, by wenzelm
tuned;
3 months ago, by wenzelm
support more command positions, analogous to Command.core_range in Isabelle/Scala;
3 months ago, by wenzelm
tuned;
3 months ago, by wenzelm
more uniform core_range (amending def3ec9cdb7e);
3 months ago, by wenzelm
clarified dock icon: setup earlier on startup;
3 months ago, by wenzelm
clarified NEWS;
3 months ago, by wenzelm
dropped junk
3 months ago, by haftmann
try GTK 3: some visual dropouts, but more stable e.g. in Sidekick "isabelle-markup";
3 months ago, by wenzelm
detect arm64-darwin more reliably: uname could be in x86_64 mode, e.g. within app bundle;
3 months ago, by wenzelm
proper purge for arm64-darwin;
3 months ago, by wenzelm
updated jdk-15.0.1+9, including arm64-darwin;
3 months ago, by wenzelm
discontinued somethat pointless sharing: too complicated;
3 months ago, by wenzelm
less verbose;
3 months ago, by wenzelm
more robust sharing, despite minimal impact on archive size;
3 months ago, by wenzelm
proper LSMinimumSystemVersion for zulu-jdk-15;
3 months ago, by wenzelm
obsolete, thanks to zulu-jdk directory layout;
3 months ago, by wenzelm
clarified Info.plist;
3 months ago, by wenzelm
more direct ISABELLE_JDK_HOME, thanks to zulu-jdk directory layout;
3 months ago, by wenzelm
prefer OpenJDK from Azul: supports more versions and platforms;
3 months ago, by wenzelm
sort lines;
3 months ago, by wenzelm
tuned;
3 months ago, by wenzelm
more NEWS;
3 months ago, by wenzelm
recovered file-type icons from macos_app;
3 months ago, by wenzelm
clarified application init;
3 months ago, by wenzelm
recovered bundle icons (not application) from macos_app;
3 months ago, by wenzelm
proper app directory setup, without macos_app component;
3 months ago, by wenzelm
more robust;
3 months ago, by wenzelm
prefer official Java 9 operations;
3 months ago, by wenzelm
obsolete;
3 months ago, by wenzelm
proper dock icon for macOS;
3 months ago, by wenzelm
proper isabelle_home_prefix;
3 months ago, by wenzelm
discontinued macOS JavaAppLauncher: re-use plain shell script;
3 months ago, by wenzelm
tuned whitespace;
3 months ago, by wenzelm
tuned -- generate Info.plist in Isabelle/Scala;
3 months ago, by wenzelm
tuned signature;
3 months ago, by wenzelm
tuned signature;
3 months ago, by wenzelm
updated according to ~~/etc/settings;
3 months ago, by wenzelm
more portable component setup;
3 months ago, by wenzelm
clarified quotes;
3 months ago, by wenzelm
tuned -- generate script by Isabelle/Scala;
3 months ago, by wenzelm
proper treatment of XML.Wrapped_Elem, e.g. Markup.class_parameter;
3 months ago, by wenzelm
proper theory name, e.g. for HTML/PIDE presentation;
3 months ago, by wenzelm
more robust and permissive;
3 months ago, by wenzelm
present theory using PIDE markup;
3 months ago, by wenzelm
clarified signature;
3 months ago, by wenzelm
tuned signature;
3 months ago, by wenzelm
tuned
3 months ago, by nipkow
HOL-Library.Multiset: new notation for prod_mset, consistent with sum_mset
3 months ago, by Manuel Eberl
merged
3 months ago, by wenzelm

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

isabelle