Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-14
+14
+100
+300
+1000
+3000
+10000
+30000
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.
faster preprocessing: before applying a step, test if it is applicable (normalization of binders, unfolding of abs/min/max definitions, lambda lifting, explicit application, monomorphization),
2009-12-03, by boehmes
merged
2009-12-06, by haftmann
tuned proofs
2009-12-06, by haftmann
tuned lattices theory fragements; generlized some lemmas from sets to lattices
2009-12-05, by haftmann
avoid lazy val with side-effects -- spurious null pointers!?
2009-12-07, by wenzelm
toString: more robust handling of null;
2009-12-07, by wenzelm
proper markup text for loc;
2009-12-06, by wenzelm
output_syms: permissive treatment of control symbols, cf. Scala version;
2009-12-06, by wenzelm
basic treatment of special control symbols;
2009-12-06, by wenzelm
elements: more convenient result;
2009-12-06, by wenzelm
more robust treatment of line breaks -- Java "split" has off semantics;
2009-12-06, by wenzelm
added auxiliary constructors;
2009-12-06, by wenzelm
added elements: Interator;
2009-12-06, by wenzelm
merged
2009-12-05, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-14
+14
+100
+300
+1000
+3000
+10000
+30000
tip