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
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.
misc tuning and clarification;
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
misc tuning and clarification, following Term.incr_bv / Term.incr_boundvars;
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
minor performance tuning: regular Same.operation;
14 months ago, by wenzelm
clarified signature: more standard argument order;
14 months ago, by wenzelm
clarified signature: more standard argument order;
14 months ago, by wenzelm
tuned whitespace;
14 months ago, by wenzelm
tuned: more standard names;
14 months ago, by wenzelm
clarified signature;
14 months ago, by wenzelm
tuned: prefer Same.commit;
14 months ago, by wenzelm
tuned: more standard argument order;
14 months ago, by wenzelm
clarified signature;
14 months ago, by wenzelm
more operations;
14 months ago, by wenzelm
tuned comments;
14 months ago, by wenzelm
tuned structure;
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
merged
14 months ago, by wenzelm
performance tuning: cache for ztyp_of within zterm_of;
14 months ago, by wenzelm
tuned names;
14 months ago, by wenzelm
minor performance tuning;
14 months ago, by wenzelm
more zproofs;
14 months ago, by wenzelm
minor performance tuning;
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
more zproofs;
14 months ago, by wenzelm
clarified modules;
14 months ago, by wenzelm
more zproofs;
14 months ago, by wenzelm
more zproofs;
14 months ago, by wenzelm
proper treatment of ZConstP: term represents body of closure;
14 months ago, by wenzelm
proper substitution of types within term;
14 months ago, by wenzelm
more accurate treatment of term variables after instantiation of type variables;
14 months ago, by wenzelm
tuned signature;
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
check that Isar proofs contain one 'show'
14 months ago, by blanchet
include unnamed chained facts in Sledgehammer's relevance filter
14 months ago, by blanchet
merge
14 months ago, by blanchet
removed hack in Sledgehammer that confuses preplay and gives Sledgehammer a strange semantics
14 months ago, by blanchet
don't freeze terms in Sledgehammer, as this has a bad impact on 'using' facts
14 months ago, by blanchet
tuned T functions: now 0 if not recursive
14 months ago, by nipkow
minor performance tuning;
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
more zproofs;
14 months ago, by wenzelm
misc tuning and clarification;
14 months ago, by wenzelm
more zproofs;
14 months ago, by wenzelm
more operations;
14 months ago, by wenzelm
more operations;
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
clarified signature;
14 months ago, by wenzelm
more zproofs;
14 months ago, by wenzelm
more ML pretty-printing;
14 months ago, by wenzelm
clarified const_proof vs. zproof_name;
14 months ago, by wenzelm
merged
14 months ago, by wenzelm
more zproofs;
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
more operations;
14 months ago, by wenzelm
clarified modules;
14 months ago, by wenzelm
more zterm operations;
14 months ago, by wenzelm
compactified specification of type class parity
14 months ago, by haftmann
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip