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
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.
merged
14 months ago, by wenzelm
more markup for syntax consts;
14 months ago, by wenzelm
more markup for syntax consts;
14 months ago, by wenzelm
clarified concrete syntax;
14 months ago, by wenzelm
more accurate markup (amending 43c4817375bf): only consider primitive syntax consts, avoid extra Markup.intensify e.g. due to "\<^const>Pure.all_binder";
14 months ago, by wenzelm
more concrete syntax and more checks;
14 months ago, by wenzelm
clarified signature: more operations;
14 months ago, by wenzelm
support for syntax const dependencies, with minimal integrity checks;
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
clarified markup: more uniform treatment of parse/print phase;
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
clarified markup: more uniform;
14 months ago, by wenzelm
tuned signature: separate markup vs. extern;
14 months ago, by wenzelm
clarified signature;
14 months ago, by wenzelm
tuned: prefer configuration options via context;
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
tuned signature: more operations;
14 months ago, by wenzelm
tuned comments
14 months ago, by nipkow
merged
14 months ago, by paulson
Partial tidying of old proofs
14 months ago, by paulson
merged
14 months ago, by nipkow
new version of time_fun that works for classes; define T_length automatically now
14 months ago, by nipkow
merged
14 months ago, by paulson
revised/generalised some lemmas
15 months ago, by paulson
remove terminated jobs, even if futures do not complete;
14 months ago, by Fabian Huch
terminate jobs properly;
14 months ago, by Fabian Huch
clarified signature: eliminate clones;
14 months ago, by wenzelm
tuned: more antiquotations;
14 months ago, by wenzelm
tuned: more antiquotations;
14 months ago, by wenzelm
misc tuning;
14 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
tip