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
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 comments;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
prefer abstract command kind (in contrast to 367f4512e65c);
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
tuned: avoid warning in IntelliJ IDEA;
19 months ago, by wenzelm
more accurate outer syntax keywords (see also 94b2690ad494): base session could be anything, e.g. ZF vs. HOL;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
clarified signature: do not require finished theory;
19 months ago, by wenzelm
clarified modules;
19 months ago, by wenzelm
merged
19 months ago, by desharna
added lemmas multp_mono_strong and mult_mono_strong
19 months ago, by desharna
merged
19 months ago, by wenzelm
support for FoilTeX with demo document;
19 months ago, by wenzelm
tuned comments;
19 months ago, by wenzelm
tuned whitespace for "isabelle doc" display;
19 months ago, by wenzelm
support for Easychair style with demo document;
19 months ago, by wenzelm
support for Dagstuhl LIPIcs style with demo document;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
clarified modules;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
tuned signature, following hints by IntelliJ IDEA;
19 months ago, by wenzelm
restructured
19 months ago, by haftmann
modulus for polynomials is invariant wrt. units
19 months ago, by haftmann
proper Java syntax (amending ea79c21bcc47);
19 months ago, by wenzelm
reactivate emerging tool after release (see 322f2e2799a7);
19 months ago, by wenzelm
separate out definition of bound to avoid spurious sort hypotheses (by Jan van Brügge)
19 months ago, by traytel
merged
19 months ago, by paulson
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
tip