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

read_term/prop_pat: do not freeze;
1999-06-02, by wenzelm
added dddot_tr;
1999-06-02, by wenzelm
added dddot_indexname;
1999-06-02, by wenzelm
"..." syntax;
1999-06-02, by wenzelm
find -print;
1999-06-02, by wenzelm
'kill' made improper;
1999-06-01, by wenzelm
improved print_state;
1999-06-01, by wenzelm
'note': Toplevel.print;
1999-06-01, by wenzelm
tuned markup;
1999-06-01, by wenzelm
broder size 3;
1999-06-01, by wenzelm
setup_goal: proper handling of non-atomic goals (include cprems into asms);
1999-05-31, by wenzelm
Isabelle manuals now also available as PDF;
1999-05-31, by wenzelm
move pdfs back into dist;
1999-05-28, by wenzelm
pdf docs;
1999-05-28, by wenzelm
separate archive for pdf docs;
1999-05-28, by wenzelm
\def\bold;
1999-05-28, by wenzelm
tuned formal comments;
1999-05-28, by wenzelm
tuned manual.bib;
1999-05-28, by wenzelm
changed {| |} verbatim syntax to {* *};
1999-05-27, by wenzelm
changed {| |} verbatim syntax to {* *} in order to simplify ProofGeneral setup;
1999-05-27, by wenzelm
improved undo / kill operations;
1999-05-27, by wenzelm
fixed corruptoin of end of file
1999-05-27, by paulson
removal of Always_StableI
1999-05-27, by paulson
replaced rules Always_ConstrainsI/D by equivalences Always_Constrains_pre,
1999-05-27, by paulson
component_eq_subset: a neat characterization of "component"
1999-05-27, by paulson
ex/Points Isar'ized;
1999-05-26, by wenzelm
local_qed: print_result;
1999-05-26, by wenzelm
cannot_undo;
1999-05-26, by wenzelm
cannot_undo;
1999-05-26, by wenzelm
qed_block keywords;
1999-05-26, by wenzelm

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

isabelle