isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip

Histories of values, with undo and redo;
1998-06-16, by wenzelm
use_text replaces use_strings;
1998-06-15, by wenzelm
handle_error: capture error msgs, even if no exception raised;
1998-06-15, by wenzelm
removed use_text;
1998-06-13, by wenzelm
added use_text;
1998-06-12, by wenzelm
Context.add_session;
1998-06-12, by wenzelm
changed (| |) syntax to (: :);
1998-06-12, by wenzelm
changed {: :} syntax to (| |);
1998-06-12, by wenzelm
tuned exports;
1998-06-12, by wenzelm
removed rel.ML
1998-06-11, by nipkow
ancient relic
1998-06-11, by nipkow
Context.the_context;
1998-06-10, by wenzelm
get_context renamed to the_context;
1998-06-10, by wenzelm
tuned transaction;
1998-06-10, by wenzelm
tuned comments;
1998-06-10, by wenzelm
adapted to TheoryDataFun interface;
1998-06-10, by wenzelm
moved attributes theory data to Isar/isar_thy.ML;
1998-06-10, by wenzelm
moved add_axioms_x, add_defs_x to Isar/isar_thy.ML;
1998-06-10, by wenzelm
added exnMessage;
1998-06-10, by wenzelm
added General;
1998-06-10, by wenzelm
added of_file;
1998-06-10, by wenzelm
General tools.
1998-06-10, by wenzelm
moved table.ML, object.ML, seq.ML, name_space.ML to General;
1998-06-10, by wenzelm
moved object.ML to General/object.ML;
1998-06-10, by wenzelm
moved table.ML to General/table.ML;
1998-06-10, by wenzelm
moved seq.ML to General/seq.ML;
1998-06-10, by wenzelm
moved position.ML, path.ML, file.ML to General;
1998-06-10, by wenzelm
moved name_space.ML to General/name_space.ML;
1998-06-10, by wenzelm
moved Thy/path.ML to General/path.ML;
1998-06-10, by wenzelm
moved Thy/position.ML to General/position.ML;
1998-06-10, by wenzelm

less more | (0) -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle