Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
-300
-100
-50
-30
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
NEWS
2004-07-11
wenzelm
Simplifier and Classical Reasoner now support proof context dependent plug-ins;
file
|
diff
|
annotate
2004-07-08
wenzelm
tuned simprocs;
file
|
diff
|
annotate
2004-07-06
schirmer
* Pure/Namespace: flag unique_names added
file
|
diff
|
annotate
2004-06-30
schirmer
Added reference record_definition_quick_and_dirty_sensitive, to
file
|
diff
|
annotate
2004-06-29
skalberg
Made simplification procedures simpset-aware.
file
|
diff
|
annotate
2004-06-20
wenzelm
tuned;
file
|
diff
|
annotate
2004-06-13
wenzelm
added display_drafts and print_drafts commands;
file
|
diff
|
annotate
2004-06-10
wenzelm
tuned;
file
|
diff
|
annotate
2004-06-10
wenzelm
tuned;
file
|
diff
|
annotate
2004-06-09
wenzelm
* Document preparation: antiquotations provide option 'locale=NAME';
file
|
diff
|
annotate
2004-06-08
paulson
Groups, Rings and supporting lemmas in ZF
file
|
diff
|
annotate
2004-06-06
wenzelm
HOL: symbolic syntax of Eps;
file
|
diff
|
annotate
2004-06-01
wenzelm
removed obsolete sort 'logic';
file
|
diff
|
annotate
2004-05-29
wenzelm
* ML: all output via channels of writeln etc. passed through Output.output;
file
|
diff
|
annotate
2004-05-21
wenzelm
Pure: clear separation of logical types and nonterminals;
file
|
diff
|
annotate
2004-05-10
wenzelm
Pure: nested comments in inner syntax;
file
|
diff
|
annotate
2004-05-06
schirmer
tuned HOL/record package; enabled record_upd_simproc by default.
file
|
diff
|
annotate
2004-05-06
wenzelm
show_structs option;
file
|
diff
|
annotate
2004-05-03
schirmer
reimplementation of HOL records; only one type is created for
file
|
diff
|
annotate
2004-05-01
wenzelm
tuned;
file
|
diff
|
annotate
2004-05-01
wenzelm
improvd indexed syntax and implicit structures; tuned renaming of symbolic identifiers
file
|
diff
|
annotate
2004-04-29
wenzelm
HOLCF: discontinued special version of 'constdefs';
file
|
diff
|
annotate
2004-04-22
wenzelm
Pure: considerably improved version of 'constdefs' command;
file
|
diff
|
annotate
2004-04-19
kleing
add HOL4
file
|
diff
|
annotate
2004-04-16
kleing
added HOL-Matrix, added HOL/Matrix/ROOT.ML
file
|
diff
|
annotate
2004-04-16
wenzelm
Pure: 'instance' now handles general arities;
file
|
diff
|
annotate
2004-04-16
berghofe
Added entry for quickcheck command.
file
|
diff
|
annotate
2004-04-15
wenzelm
tuned;
file
|
diff
|
annotate
2004-04-14
schirmer
* raw control symbols are of the form \<^raw:...> now.
file
|
diff
|
annotate
2004-04-13
wenzelm
* Calculation commands "moreover" and "also" no longer interfere with
file
|
diff
|
annotate
less
more
(0)
-300
-100
-50
-30
tip