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 -50 -30 +30 +50 +100 +300 +1000 +3000 tip

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

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

isabelle