Mercurial
Mercurial
>
repos
>
testboard
/ 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
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.
just a bit of tidying up
10 months ago, by paulson
merged
10 months ago, by Andreas Lochbihler
move code setup from Cardinality to separate theory
10 months ago, by Andreas Lochbihler
A few useful lemmas about derivatives, colinearity and other topics
10 months ago, by paulson
proper Font_Subst.cache for paintScreenLineRange;
10 months ago, by wenzelm
more predictable result, avoid slightly odd "lastSubstFont" by jEdit;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
discontinue i21of4 (old Apple hardware);
10 months ago, by wenzelm
avoid deprecated operation;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
support for jEdit font substitution;
10 months ago, by wenzelm
more ambitious use of AttributedString (despite be825a69fc67, which was for much older Java);
10 months ago, by wenzelm
updated to flatlaf-1.2;
10 months ago, by wenzelm
proper directories after reinstallation of lxbroy10;
10 months ago, by wenzelm
more visual emphasis on node status;
10 months ago, by wenzelm
more word cleanup
10 months ago, by haftmann
merged
10 months ago, by haftmann
more default simp rules
10 months ago, by haftmann
some word streamlining
10 months ago, by haftmann
avoid legacy domain informatik.tu-muenchen.de;
10 months ago, by wenzelm
feat(Tools/Spec_Check) major upgrade
draft
10 months ago, by Kevin Kappelmann
Reverted to 9db620f007fab45cad634020f69d17b155042c87
draft
10 months ago, by Fabian Huch
Reverted to 9db620f007fab45cad634020f69d17b155042c87
draft
10 months ago, by Fabian Huch
feat(Tools/Spec_Check) major upgrade
draft
10 months ago, by Kevin Kappelmann
tuned --- following hints by IntelliJ;
11 months ago, by wenzelm
tuned signature;
11 months ago, by wenzelm
tuned;
11 months ago, by wenzelm
tuned;
11 months ago, by wenzelm
tuned signature;
11 months ago, by wenzelm
tuned;
11 months ago, by wenzelm
tuned signature (see 2d6a489adb01);
11 months ago, by wenzelm
added support for TFX's and THF's $ite to Sledgehammer
11 months ago, by desharna
tuned Mirabelle documentation
11 months ago, by desharna
shortened long lines
11 months ago, by desharna
fixed typos
11 months ago, by desharna
updated Mirabelle documentation
11 months ago, by desharna
changed Mirabelle's filter to use short theory names
11 months ago, by desharna
more lemmas
11 months ago, by haftmann
added support for unbounded max calls to Mirabelle
11 months ago, by desharna
added warnings when defining unamed or redefining Mirabelle action
11 months ago, by desharna
tuned whitespace;
11 months ago, by wenzelm
tuned Mirabelle
11 months ago, by desharna
merged
11 months ago, by desharna
refactored Mirabelle to produce output in real time
11 months ago, by desharna
global interpretation into nested targets
11 months ago, by haftmann
more succint interfaces
11 months ago, by haftmann
merged
11 months ago, by wenzelm
tuned messages;
11 months ago, by wenzelm
NEWS;
11 months ago, by wenzelm
proper profiling within command execution: messages require PIDE id;
11 months ago, by wenzelm
more systematic treatment of profiling mode;
11 months ago, by wenzelm
tuned message;
11 months ago, by wenzelm
prefer less intrusive tracing message;
11 months ago, by wenzelm
clarified documentation: tracing messages are not shown here;
11 months ago, by wenzelm
add missing file;
11 months ago, by wenzelm
more formal ML profiling messages;
11 months ago, by wenzelm
clarified modules;
11 months ago, by wenzelm
Lukas Steven's more general fold foctions for maps
11 months ago, by nipkow
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip