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

re-introduces axiom subst
2008-10-07, by haftmann
corrected SML undefined
2008-10-07, by haftmann
updated to official version as of 07-Oct-2008;
2008-10-07, by wenzelm
fold_lines: more tuning, avoiding extra split_last;
2008-10-06, by wenzelm
extra check of PROOFGENERAL_HOME;
2008-10-06, by wenzelm
needs -b option for isabelle getenv
2008-10-05, by kleing
updated generated file;
2008-10-04, by wenzelm
tuned isabelle usage;
2008-10-04, by wenzelm
updated generated file;
2008-10-04, by wenzelm
simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
2008-10-04, by wenzelm
updated generated file;
2008-10-04, by wenzelm
replaced ISABELLE by ISABELLE_PROCESS;
2008-10-04, by wenzelm
ISABELLE_PROCESS commandline;
2008-10-04, by wenzelm
replaced ISATOOL by ISABELLE_TOOL;
2008-10-04, by wenzelm
ISABELLE_PROCESS replaces ISABELLE and ISABELLE_TOOL replaces ISATOOL -- old bindings stay for a while (legacy feature);
2008-10-04, by wenzelm
eliminated prompt messages;
2008-10-04, by wenzelm
added isabelle_tool version as basic integrity check of platform/distribution;
2008-10-04, by wenzelm
renamed isatool to isabelle_tool in programming interfaces;
2008-10-04, by wenzelm
Theory header keywords.
2008-10-04, by wenzelm
added Thy/thy_header.scala;
2008-10-04, by wenzelm
tuned quotes;
2008-10-03, by wenzelm
factor: proper padding of digits;
2008-10-03, by wenzelm
plain process_id function;
2008-10-03, by wenzelm
removed obsolete Posix/Signal compatibility wrappers;
2008-10-03, by wenzelm
removed obsolete Posix/Signal compatibility wrappers;
2008-10-03, by wenzelm
removed obsolete Posix/Signal compatibility wrappers;
2008-10-03, by wenzelm
do not handle Error (which matches arbitrary exceptions!), but ERROR _;
2008-10-03, by wenzelm
updated to new AtpManager;
2008-10-03, by wenzelm

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

isabelle