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