Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(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
.
The revision graph only works with JavaScript-enabled browsers.
simplification for code generation for Integers
2006-07-21, by haftmann
adaption to argument change in primrec_package
2006-07-21, by haftmann
adaption to changes in class_package
2006-07-21, by haftmann
hooks now take string list as arguments (mutual datatypes); some nice combinators in datatype_codegen
2006-07-21, by haftmann
exported equation transformator
2006-07-21, by haftmann
class package and codegen refinements
2006-07-21, by haftmann
added give_names and alphanum
2006-07-21, by haftmann
Some cases in "case ... of ..." expressions may now
2006-07-21, by berghofe
- Added new "undefined" constant
2006-07-21, by berghofe
removed Variable.monomorphic;
2006-07-20, by wenzelm
comments fixed, member function renamed
2006-07-20, by webertj
Change to algebra method.
2006-07-19, by ballarin
Reimplemented algebra method; now controlled by attribute.
2006-07-19, by ballarin
Strict dfs traversal of imported and registered identifiers.
2006-07-19, by ballarin
added map_default, internal restructuring
2006-07-19, by haftmann
export is_tid;
2006-07-19, by wenzelm
thm_of_proof: improved generation of variables;
2006-07-19, by wenzelm
Sign.infer_types: Name.context;
2006-07-19, by wenzelm
reorganize declarations (more efficient);
2006-07-19, by wenzelm
Name.context for used'';
2006-07-19, by wenzelm
added variant_frees;
2006-07-19, by wenzelm
tuned;
2006-07-19, by wenzelm
export make_context, is_declared;
2006-07-19, by wenzelm
prove: Variable.declare_internal (more efficient);
2006-07-19, by wenzelm
add_local: simplified interface, all frees are known'';
2006-07-19, by wenzelm
Sign.infer_types: Name.context;
2006-07-19, by wenzelm
renamed Variable.rename_wrt to Variable.variant_frees;
2006-07-19, by wenzelm
Fixed the bugs introduced by the last commit! Output is now *identical* to that
2006-07-19, by paulson
MiniSat proof trace format changed; MiniSat is now expected to produce a proof also for "trivial" problems
2006-07-19, by webertj
thm_of_proof: tuned Name operations;
2006-07-18, by wenzelm
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
tip