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
.
2007-07-10
wenzelm
treat OuterLex.Error;
changeset
|
files
2007-07-10
wenzelm
separated Malformed (symbolic char) from Error (bad input);
changeset
|
files
2007-07-10
wenzelm
Output.escape_malformed;
changeset
|
files
2007-07-10
wenzelm
added escape_malformed (failsafe);
changeset
|
files
2007-07-10
wenzelm
Basic editing of theory sources.
changeset
|
files
2007-07-10
wenzelm
tuned;
changeset
|
files
2007-07-10
wenzelm
export html_mode, begin_document, end_document;
changeset
|
files
2007-07-10
wenzelm
renamed XML.Rawtext to XML.Output;
changeset
|
files
2007-07-10
wenzelm
export get_lexicons;
changeset
|
files
2007-07-10
wenzelm
added kind_of;
changeset
|
files
2007-07-10
wenzelm
Markup.enclose;
changeset
|
files
2007-07-10
wenzelm
more markup for inner and outer syntax;
changeset
|
files
2007-07-10
wenzelm
simplified funpow, untabify;
changeset
|
files
2007-07-10
wenzelm
added Thy/thy_edit.ML;
changeset
|
files
2007-07-10
wenzelm
added some markup for outer syntax;
changeset
|
files
2007-07-10
haftmann
clarified merge of module names
changeset
|
files
2007-07-10
haftmann
now a monolithic module
changeset
|
files
2007-07-10
haftmann
now works with SML/NJ
changeset
|
files
2007-07-10
haftmann
tuned
changeset
|
files
2007-07-10
haftmann
improvement for code names
changeset
|
files
2007-07-10
haftmann
removed proof dependency on transitivity theorems
changeset
|
files
2007-07-10
haftmann
moved lfp_induct2 here
changeset
|
files
2007-07-10
haftmann
clarified import
changeset
|
files
2007-07-10
haftmann
moved lfp_induct2 to Relation.thy
changeset
|
files
2007-07-10
haftmann
moved some finite lemmas here
changeset
|
files
2007-07-10
haftmann
moved finite lemmas to Finite_Set.thy
changeset
|
files
2007-07-10
wenzelm
added print_mode setup (from pretty.ML);
changeset
|
files
2007-07-10
wenzelm
Markup.add_mode;
changeset
|
files
2007-07-10
wenzelm
removed no_state markup -- produce empty state;
changeset
|
files
2007-07-10
wenzelm
Markup.output;
changeset
|
files
(0)
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
tip