Mercurial
Mercurial
>
repos
>
isabelle
/ shortlog
summary
| shortlog |
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
2006-01-02
wenzelm
avoid hardwired Trueprop;
changeset
|
files
2006-01-02
wenzelm
added 'using' command;
changeset
|
files
2006-01-02
wenzelm
updated;
changeset
|
files
2006-01-02
wenzelm
added IsarImplementation;
changeset
|
files
2006-01-02
wenzelm
updated -- lost update!?
changeset
|
files
2006-01-02
wenzelm
* Pure/Isar: new command 'unfolding';
changeset
|
files
2006-01-02
wenzelm
ISABELLE_USER for remote cvs access;
changeset
|
files
2006-01-02
wenzelm
outline;
changeset
|
files
2006-01-02
wenzelm
"The Isabelle/Isar Implementation" manual;
changeset
|
files
2005-12-31
wenzelm
* Provers/classical: removed obsolete classical version of elim_format;
changeset
|
files
2005-12-31
wenzelm
tuned forall_intr_vars;
changeset
|
files
2005-12-31
wenzelm
added classical_rule, which replaces Data.make_elim;
changeset
|
files
2005-12-31
wenzelm
explicitly reject consts *Goal*, *False*;
changeset
|
files
2005-12-31
wenzelm
elim rules: Classical.classical_rule;
changeset
|
files
2005-12-31
wenzelm
removed obsolete cla_dist_concl;
changeset
|
files
2005-12-31
wenzelm
removed classical elim_format;
changeset
|
files
2005-12-31
wenzelm
removed obsolete Provers/make_elim.ML;
changeset
|
files
2005-12-31
wenzelm
obsolete, see classical_rule in Provers/classical.ML;
changeset
|
files
2005-12-31
wenzelm
more robust phantomsection;
changeset
|
files
2005-12-30
wenzelm
require cla_dist_concl, avoid assumptions about concrete syntax;
changeset
|
files
2005-12-30
wenzelm
avoid implicit assumptions about consts Not, op =, *Goal*, *False*;
changeset
|
files
2005-12-30
wenzelm
provide equality_name, not_name;
changeset
|
files
2005-12-30
wenzelm
fixed final_consts;
changeset
|
files
2005-12-30
wenzelm
provide cla_dist_concl;
changeset
|
files
2005-12-30
wenzelm
non-PDF: phantomsection;
changeset
|
files
2005-12-29
haftmann
added atom keyword
changeset
|
files
2005-12-29
haftmann
changes in code generator keywords
changeset
|
files
2005-12-29
haftmann
adaptions to changes in code generator
changeset
|
files
2005-12-29
haftmann
slight improvements
changeset
|
files
2005-12-28
haftmann
slightly improved serialization
changeset
|
files
(0)
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
tip