Mercurial
Mercurial
>
repos
>
isabelle
/ shortlog
summary
| shortlog |
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-10000
-3000
-1000
-300
-100
-16
+16
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
2007-11-10
wenzelm
removed LocalTheory.target_naming/name;
changeset
|
files
2007-11-10
wenzelm
put_inductives: be permissive about multiple versions
changeset
|
files
2007-11-10
wenzelm
tuned proofs;
changeset
|
files
2007-11-10
wenzelm
tuned document;
changeset
|
files
2007-11-10
wenzelm
Orderings.min/max: no need to qualify consts;
changeset
|
files
2007-11-10
wenzelm
auto_quickcheck ref: set default in ProofGeneral/preferences only
changeset
|
files
2007-11-10
wenzelm
ProofGeneral/preferences: auto_quickcheck=true;
changeset
|
files
2007-11-10
wenzelm
qualified Proofterm.proofs;
changeset
|
files
2007-11-10
wenzelm
@{const}: improved ProofContext.read_const does the job;
changeset
|
files
2007-11-10
wenzelm
locale_const: suppress in class body as well (prevents qualified printing);
changeset
|
files
2007-11-10
wenzelm
notation: improved ProofContext.read_const does the job;
changeset
|
files
2007-11-10
wenzelm
updated;
changeset
|
files
2007-11-10
wenzelm
replaced @{const} (allows name only) by proper @{term};
changeset
|
files
2007-11-09
haftmann
proper implementation of check phase; non-qualified names for class operations
changeset
|
files
2007-11-09
haftmann
explicit message for failed autoquickcheck
changeset
|
files
2007-11-09
wenzelm
tyabbr/syntax/consts: replaced obsolete read_typ by Syntax.parse_typ/certify_typ;
changeset
|
files
Loading...
(0)
-10000
-3000
-1000
-300
-100
-16
+16
+100
+300
+1000
+3000
+10000
+30000
tip