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
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
clarified modules;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
clarified modules (again): services require full Isabelle/Scala environment;
19 months ago, by wenzelm
clarified modules;
19 months ago, by wenzelm
updated to scala-2.13.6, with scala-xml 1.3.0 ~> 2.0.0;
19 months ago, by wenzelm
clarified environment (amending 9444489766a1);
19 months ago, by wenzelm
merged
19 months ago, by Andreas Lochbihler
move code setup from Cardinality to separate theory
19 months ago, by Andreas Lochbihler
A few useful lemmas about derivatives, colinearity and other topics
19 months ago, by paulson
proper Font_Subst.cache for paintScreenLineRange;
19 months ago, by wenzelm
more predictable result, avoid slightly odd "lastSubstFont" by jEdit;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
discontinue i21of4 (old Apple hardware);
19 months ago, by wenzelm
avoid deprecated operation;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
support for jEdit font substitution;
19 months ago, by wenzelm
more ambitious use of AttributedString (despite be825a69fc67, which was for much older Java);
19 months ago, by wenzelm
updated to flatlaf-1.2;
19 months ago, by wenzelm
proper directories after reinstallation of lxbroy10;
19 months ago, by wenzelm
more visual emphasis on node status;
19 months ago, by wenzelm
more word cleanup
19 months ago, by haftmann
merged
19 months ago, by haftmann
more default simp rules
19 months ago, by haftmann
some word streamlining
19 months ago, by haftmann
avoid legacy domain informatik.tu-muenchen.de;
19 months ago, by wenzelm
tuned --- following hints by IntelliJ;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
tuned signature (see 2d6a489adb01);
20 months ago, by wenzelm
added support for TFX's and THF's $ite to Sledgehammer
20 months ago, by desharna
tuned Mirabelle documentation
20 months ago, by desharna
shortened long lines
20 months ago, by desharna
fixed typos
20 months ago, by desharna
updated Mirabelle documentation
20 months ago, by desharna
changed Mirabelle's filter to use short theory names
20 months ago, by desharna
more lemmas
20 months ago, by haftmann
added support for unbounded max calls to Mirabelle
20 months ago, by desharna
added warnings when defining unamed or redefining Mirabelle action
20 months ago, by desharna
tuned whitespace;
20 months ago, by wenzelm
tuned Mirabelle
20 months ago, by desharna
merged
20 months ago, by desharna
refactored Mirabelle to produce output in real time
20 months ago, by desharna
global interpretation into nested targets
20 months ago, by haftmann
more succint interfaces
20 months ago, by haftmann
merged
20 months ago, by wenzelm
tuned messages;
20 months ago, by wenzelm
NEWS;
20 months ago, by wenzelm
proper profiling within command execution: messages require PIDE id;
20 months ago, by wenzelm
more systematic treatment of profiling mode;
20 months ago, by wenzelm
tuned message;
20 months ago, by wenzelm
prefer less intrusive tracing message;
20 months ago, by wenzelm
clarified documentation: tracing messages are not shown here;
20 months ago, by wenzelm
add missing file;
20 months ago, by wenzelm
more formal ML profiling messages;
20 months ago, by wenzelm
clarified modules;
20 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip