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
-28
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.
disable thy_cache for now (amending 0b8922e351a3): avoid crash of AFP/Ramsey-Infinite due to exception THEORY "Duplicate theory name";
default
tip
2 hours ago, by wenzelm
A lot of new material from the Ramsey development, including a couple of new simprules.
8 hours ago, by paulson
A massive reduction of some truly horrible proofs
25 hours ago, by paulson
merged
27 hours ago, by paulson
More simplification of proofs. Trying to fix the syntax too
27 hours ago, by paulson
clarified export: replaced Proofterm.standard_vars by ZTerm.standard_vars;
2 days ago, by wenzelm
tuned;
2 days ago, by wenzelm
clarified order of operations: no_thm_names first;
2 days ago, by wenzelm
more operations;
2 days ago, by wenzelm
tuned;
2 days ago, by wenzelm
more operations;
2 days ago, by wenzelm
more operations;
2 days ago, by wenzelm
clarified signature: more robust operations;
2 days ago, by wenzelm
merged
3 days ago, by wenzelm
clarified modules (see also e063c0403650);
3 days ago, by wenzelm
more operations;
3 days ago, by wenzelm
tuned;
3 days ago, by wenzelm
tuned: more direct Name.context for bounds;
3 days ago, by wenzelm
Got rid of another 250 apply-lines
3 days ago, by paulson
merged
4 days ago, by paulson
more proof tidying
4 days ago, by paulson
more predictable proof id;
4 days ago, by wenzelm
more conservative cache: retain concurrent value;
4 days ago, by wenzelm
clarified thm_header command_pos vs. thm_pos;
4 days ago, by wenzelm
clarified signature, following zterm.ML;
4 days ago, by wenzelm
tuned whitespace;
4 days ago, by wenzelm
merged
5 days ago, by wenzelm
uniform export via ztyp/zterm/zproof;
5 days ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-28
tip