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 -24 +24 +50 +100 +300 +1000 +3000 +10000 +30000 tip

removal of some refs
2007-08-10, by paulson
(un)interruptible: pass-through original thread attributes;
2007-08-10, by wenzelm
tuned;
2007-08-10, by wenzelm
HOL_USEDIR_OPTIONS: default to -M 1 (more robust);
2007-08-10, by wenzelm
added jEdit mode spec;
2007-08-10, by wenzelm
* Experimental support for multithreading, using Poly/ML 5.1;
2007-08-10, by wenzelm
schedule: misc cleanup, more precise task model;
2007-08-09, by wenzelm
schedule: more precise task model;
2007-08-09, by wenzelm
schedule: more precise task model;
2007-08-09, by wenzelm
fixed DESCRIPTION: single line;
2007-08-09, by wenzelm
updated;
2007-08-09, by wenzelm
adapted ThyLoad.check_thy;
2007-08-09, by wenzelm
dropped
2007-08-09, by haftmann
explizit checking for pattern discipline
2007-08-09, by haftmann
proper handling of empty datatypes
2007-08-09, by haftmann
improved class target: now considers class intro rules
2007-08-09, by haftmann
new access interface in defs.ML
2007-08-09, by haftmann
adaptions for code generation
2007-08-09, by haftmann
proper implementation of rational numbers
2007-08-09, by haftmann
localized of_nat
2007-08-09, by haftmann
tuned
2007-08-09, by haftmann
re-eliminated Option.thy
2007-08-09, by haftmann
updated
2007-08-09, by haftmann
PGIP change: thyname is optional in opentheory, markup even in case of header parse failure
2007-08-09, by aspinall

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

isabelle