Mercurial
Mercurial
>
repos
>
isabelle
/ shortlog
summary
| shortlog |
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
2019-07-25
wenzelm
more accurate proof definitions (PThm nodes);
changeset
|
files
2019-07-24
wenzelm
avoid duplicate Thm.name_derivation on unnamed PThm nodes ("simps" vs. "case_eqns" and "recursor_eqns");
changeset
|
files
2019-07-24
wenzelm
prefer local counter;
changeset
|
files
2019-07-24
wenzelm
more accurate proof export;
changeset
|
files
2019-07-24
wenzelm
clarified syntax;
changeset
|
files
2019-07-24
wenzelm
tuned;
changeset
|
files
2019-07-24
wenzelm
more thorough clean_proof;
changeset
|
files
2019-07-24
wenzelm
clarified modules;
changeset
|
files
2019-07-24
wenzelm
avoid global syntax for MinProof (amending e31271559de8);
changeset
|
files
2019-07-23
wenzelm
treat MinProof like Promise before 725438ceae7c, e.g. relevant for performance of session Corec (due to Thm.derivation_closed/close_derivation);
changeset
|
files
2019-07-23
wenzelm
discontinued Proofterm.Promise (cf. 725438ceae7c);
changeset
|
files
2019-07-23
wenzelm
clarified treatment of unnamed PThm nodes (from close_derivation): retain full proof, publish when named;
changeset
|
files
2019-07-23
wenzelm
tuned comments;
changeset
|
files
2019-07-23
wenzelm
proof terms are always constructed sequentially;
changeset
|
files
2019-07-22
wenzelm
tuned comments -- proper sections;
changeset
|
files
2019-07-22
wenzelm
support export_proofs, prune_proofs;
changeset
|
files
2019-07-22
wenzelm
clarified postproc: apply shrink_proof last, e.g. relevant for export of full proof term;
changeset
|
files
2019-07-22
wenzelm
tuned;
changeset
|
files
2019-07-22
wenzelm
clarified exception;
changeset
|
files
2019-07-22
wenzelm
tuned;
changeset
|
files
2019-07-22
wenzelm
more accurate type information;
changeset
|
files
2019-07-22
wenzelm
unused (see also 42fbb6abed5a);
changeset
|
files
2019-07-21
wenzelm
discontinued ASCII syntax;
changeset
|
files
2019-07-21
wenzelm
global declaration of abstract syntax for proof terms, with qualified names;
changeset
|
files
2019-07-21
wenzelm
tuned;
changeset
|
files
2019-07-21
wenzelm
tuned;
changeset
|
files
2019-07-20
wenzelm
more operations: support type classes within the logic;
changeset
|
files
2019-07-20
wenzelm
clarified export of sort algebra: avoid logical operations in Isabelle/Scala;
changeset
|
files
2019-07-20
wenzelm
more operations (avoid clones in Isabelle/MMT and Isabelle/Dedukti);
changeset
|
files
2019-07-20
wenzelm
more robust: avoid folding of jEdit file-names wrt. JEDIT_SESSION_DIRS;
changeset
|
files
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
tip