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.
New operations on tuples with specific arities.
2007-07-11, by berghofe
Adapted to changes in infrastructure for converting between
2007-07-11, by berghofe
rtrancl and trancl are now defined using inductive_set.
2007-07-11, by berghofe
Removed wf_implies_wfP and wfP_implies_wf from list of hints again.
2007-07-11, by berghofe
- Moved infrastructure for converting between sets and predicates
2007-07-11, by berghofe
Adapted to new package for inductive sets.
2007-07-11, by berghofe
Inserted definition of in_rel again (since member2 was removed).
2007-07-11, by berghofe
Added ML bindings for sup_fun_eq and sup_bool_eq.
2007-07-11, by berghofe
top and bot are now constants.
2007-07-11, by berghofe
Renamed inductive2 to inductive.
2007-07-11, by berghofe
acc is now defined using inductive_set.
2007-07-11, by berghofe
Added new package for inductive sets.
2007-07-11, by berghofe
Adapted to new inductive definition package.
2007-07-11, by berghofe
Adapted to changes in inductive definition package.
2007-07-11, by berghofe
tuned comment markup;
2007-07-11, by wenzelm
treat OuterLex.Error;
2007-07-11, by wenzelm
separated Malformed (symbolic char) from Error (bad input);
2007-07-11, by wenzelm
Output.escape_malformed;
2007-07-11, by wenzelm
added escape_malformed (failsafe);
2007-07-11, by wenzelm
Basic editing of theory sources.
2007-07-10, by wenzelm
tuned;
2007-07-10, by wenzelm
export html_mode, begin_document, end_document;
2007-07-10, by wenzelm
renamed XML.Rawtext to XML.Output;
2007-07-10, by wenzelm
export get_lexicons;
2007-07-10, by wenzelm
added kind_of;
2007-07-10, by wenzelm
Markup.enclose;
2007-07-10, by wenzelm
more markup for inner and outer syntax;
2007-07-10, by wenzelm
simplified funpow, untabify;
2007-07-10, by wenzelm
added Thy/thy_edit.ML;
2007-07-10, by wenzelm
added some markup for outer syntax;
2007-07-10, by wenzelm
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
tip