isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

added read_variable: optional question mark on input;
2005-05-17, by wenzelm
substantial tuning -- adapted to common conventions;
2005-05-17, by wenzelm
re-init ml_prompts after loop termination;
2005-05-17, by wenzelm
renamed show_var_qmarks to show_question_marks;
2005-05-17, by wenzelm
Syntax.read_variable;
2005-05-17, by wenzelm
renamed show_var_qmarks to show_question_marks;
2005-05-17, by wenzelm
renamed show_var_qmarks to show_question_marks;
2005-05-17, by wenzelm
updated;
2005-05-17, by wenzelm
renamed show_var_qmarks to show_question_marks;
2005-05-17, by wenzelm
removed ISAMODE settings;
2005-05-17, by wenzelm
no longer support isa-FOO interface;
2005-05-17, by wenzelm
no longer support isa-FOO interface;
2005-05-17, by wenzelm
tuned;
2005-05-17, by wenzelm
obsolete;
2005-05-17, by wenzelm
added comment
2005-05-17, by paulson
streamlined proof using new subst method
2005-05-17, by paulson
moved credit to CONTRIBUTORS;
2005-05-17, by wenzelm
moved credit to CONTRIBUTORS;
2005-05-17, by wenzelm
tuned;
2005-05-17, by wenzelm
export ISABELLE_HOME, do not normalize;
2005-05-17, by wenzelm
removed THIS_IS_ISABELLE_ADMIN;
2005-05-17, by wenzelm
removed rev_append;
2005-05-17, by wenzelm
obsolete;
2005-05-17, by wenzelm
added;
2005-05-17, by wenzelm
proper treatment of directory links;
2005-05-17, by wenzelm
use Drule.vars_of_terms
2005-05-17, by kleing
Use of IntInf.int instead of int in most numeric simprocs; avoids
2005-05-16, by paulson
searching for thms by combination of criteria (intro, elim, dest, name, term pattern)
2005-05-16, by kleing

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

isabelle