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

clarified documentation concerning macOS Big Sur;
2021-01-19, by wenzelm
more systematic java-gui-setup, also for "isabelle jedit" command-line tool;
2021-01-19, by wenzelm
updated to flatlaf-1.0-rc1;
2021-01-19, by wenzelm
tuned;
2021-01-19, by wenzelm
tuned proofs;
2021-01-18, by wenzelm
tuned;
2021-01-18, by wenzelm
obsolete;
2021-01-18, by wenzelm
clarified platforms;
2021-01-18, by wenzelm
more NEWS;
2021-01-18, by wenzelm
workaround for Big Sur fullscreen mode: better support for JDialog windows (e.g. Find on top of main View);
2021-01-18, by wenzelm
clarified app identification, potentially relevant for macOS "defaults";
2021-01-18, by wenzelm
updated documentation: HIDPI works smoothly thanks to FlatLaf;
2021-01-18, by wenzelm
updated for release;
2021-01-18, by wenzelm
updated screenshot;
2021-01-18, by wenzelm
clarified reports before errors: support completion of bibtex entries in Isabelle/Scala (amending d01ea9e3bd2d);
2021-01-18, by wenzelm
tuned;
2021-01-18, by wenzelm
proper theory_long_name;
2021-01-18, by wenzelm
updated screenshots;
2021-01-17, by wenzelm
more robust GUI, notably for Big Sur full-screen where the hypersearch panel becomes a separate maximized window;
2021-01-17, by wenzelm
revert 1105c42722dc on isabelle-release branch;
2021-01-17, by wenzelm
proper hostname;
2021-01-21, by wenzelm
more official support for macOS 11.1 Big Sur;
2021-01-21, by wenzelm
more informative error;
2021-01-20, by wenzelm
added lemmas
2021-01-20, by nipkow
merged
2021-01-17, by wenzelm
updated to scala-2.13: its ArraySeq implementation is not usable here (requires scala.relection.ClassTag);
2021-01-17, by wenzelm
updated to scala-2.13.4;
2021-01-16, by wenzelm
clarified;
2021-01-16, by wenzelm
clarified return code: re-use SIGALRM for soft timeout;
2021-01-16, by wenzelm
clarified signature: more operations;
2021-01-16, by wenzelm
tuned;
2021-01-15, by wenzelm
clarified signature: support more generic server implementations;
2021-01-14, by wenzelm
tuned comments;
2021-01-13, by wenzelm
proper </html>;
2021-01-11, by wenzelm
tuned message;
2021-01-10, by wenzelm
new magerial from Jakub Kądziołka
2021-01-14, by paulson
back to post-release mode;
2021-01-10, by wenzelm
Added tag Isabelle2021-RC2 for changeset 802647edfe7b
2021-01-10, by wenzelm
tuned;
2021-01-10, by wenzelm
avoid Unicode quotes;
2021-01-10, by wenzelm
clarified pretty margin: attempt to avoid scrollbar;
2021-01-10, by wenzelm
more documentation;
2021-01-10, by wenzelm
more informative errors: simplify diagnosis of spurious failures reported by users;
2021-01-10, by wenzelm
proper labels for status message: "sidekick.parsing-complete={0} parsing complete, {1} error(s)";
2021-01-09, by wenzelm
proper size of buttons in Symbols dockable, e.g. \<A> 0x01d49c vs. \<B> 0x00212c;
2021-01-09, by wenzelm
clarified list of presented look-and-feels;
2021-01-09, by wenzelm
clarified default L&F of Isabelle/Scala (not Isabelle/jEdit);
2021-01-09, 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;
2021-01-09, by wenzelm
Corrected lemma that was too specific in HOL-Computational_Algebra
2021-01-09, by Manuel Eberl
tuned GUI, notably for scalable FlatLaf;
2021-01-09, by wenzelm
clarified default L&F;
2021-01-09, by wenzelm
support for additional look-and-feels;
2021-01-08, by wenzelm
avoid rescaled fonts, e.g. dockable buttons on Windows L&F after opening a new view;
2021-01-08, by wenzelm
some algebra material for HOL: characteristic of a ring, algebraic integers
2021-01-08, by Manuel Eberl
HOL-Data_Structures: added Selection and time functions for list functions
2021-01-08, by Manuel Eberl
merged
2021-01-08, by wenzelm
discontinued body_range (again): does not quite work, because Position.thread_data is plain Toplevel.pos_of only;
2021-01-08, by wenzelm
clarified: command keyword position is sufficient (amending 693a39f2cddc);
2021-01-08, by wenzelm
ignore error messages produced by CVC4 when generating BV
2021-01-08, by Mathias Fleury
One useful lemma/simprule
2021-01-08, by paulson

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

isabelle