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-03-17
ballarin
add_locale(_i) returns internal locale name.
changeset
|
files
2006-03-17
haftmann
added example for operational classes and code generator
changeset
|
files
2006-03-17
haftmann
slight improvement in serializer, stub for code generator theorems added
changeset
|
files
2006-03-17
ballarin
Renamed setsum_mult to setsum_right_distrib.
changeset
|
files
2006-03-17
ballarin
Internal restructuring: local parameters.
changeset
|
files
2006-03-17
haftmann
renamed op < <= to Orderings.less(_eq)
changeset
|
files
2006-03-16
ballarin
New interface function parameters_of_expr.
changeset
|
files
2006-03-15
berghofe
add_inst_arity_i renamed to prove_arity.
changeset
|
files
2006-03-15
wenzelm
rename_frees: treat trivial names;
changeset
|
files
2006-03-14
wenzelm
added singleton;
changeset
|
files
2006-03-14
wenzelm
updated;
changeset
|
files
2006-03-14
wenzelm
turned string_of_mixfix into pretty_mixfix;
changeset
|
files
2006-03-14
wenzelm
added monomorphic;
changeset
|
files
2006-03-14
wenzelm
added 'print_statement' command;
changeset
|
files
2006-03-14
wenzelm
added print_stmts;
changeset
|
files
2006-03-14
wenzelm
added pretty_statement;
changeset
|
files
2006-03-14
wenzelm
added command, keyword;
changeset
|
files
2006-03-14
wenzelm
Output.add_mode: keyword component;
changeset
|
files
2006-03-14
wenzelm
string_of_mixfix;
changeset
|
files
2006-03-14
wenzelm
print_statement;
changeset
|
files
2006-03-14
wenzelm
added remove_trrules(_i);
changeset
|
files
2006-03-14
wenzelm
added is_elim (from Provers/classical.ML);
changeset
|
files
2006-03-14
wenzelm
added 'no_translations';
changeset
|
files
2006-03-14
wenzelm
added pretty_stmt;
changeset
|
files
2006-03-14
wenzelm
declared_const: check for type constraint only, i.e. admit abbreviations as well;
changeset
|
files
2006-03-14
wenzelm
ObjectLogic.is_elim;
changeset
|
files
2006-03-14
wenzelm
tuned constdecl;
changeset
|
files
2006-03-14
wenzelm
updated;
changeset
|
files
2006-03-14
wenzelm
Pure: no_translations;
changeset
|
files
2006-03-14
haftmann
refined representation of instance dictionaries
changeset
|
files
(0)
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
tip