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

tuned
2008-10-10, by haftmann
`code func` now just `code`
2008-10-10, by haftmann
some adaption
2008-10-10, by haftmann
using tikz pictures
2008-10-10, by haftmann
tuned default rules of (dvd)
2008-10-10, by haftmann
replaced str_of by general peek;
2008-10-09, by wenzelm
extra Poly/ML toplevel pretty printing in ML-Systems/install_pp_polyml.ML;
2008-10-09, by wenzelm
fixed spelling;
2008-10-09, by wenzelm
added enabled;
2008-10-09, by wenzelm
added enabled;
2008-10-09, by wenzelm
Multithreading.enabled;
2008-10-09, by wenzelm
moved future_scheduler flag to Concurrent/ROOT.ML;
2008-10-09, by wenzelm
added invalidate_group;
2008-10-09, by wenzelm
added fail-safe interrupt;
2008-10-09, by wenzelm
subject to Multithreading.enabled;
2008-10-09, by wenzelm
future result: Interrupt invalidates group, but pretends success otherwise;
2008-10-09, by wenzelm
added future_scheduler flag (tmp!), from skip_proofs.ML;
2008-10-09, by wenzelm
Dummy version of parallel list combinators -- plain sequential evaluation.
2008-10-09, by wenzelm
added Concurrent/par_list_dummy.ML;
2008-10-09, by wenzelm
improved performance of skolem cache, due to parallel map;
2008-10-09, by wenzelm
SimpleThread.interrupt;
2008-10-09, by wenzelm
report: back to single message;
2008-10-09, by wenzelm
added section label;
2008-10-09, by wenzelm
tuned
2008-10-09, by haftmann
do logging to MASTERLOG centrally (avoid multiple writers over NFS as
2008-10-09, by kleing
removed legacy |>>>
2008-10-09, by haftmann
established canonical argument order in SML code generators
2008-10-09, by haftmann
established canonical argument order
2008-10-09, by haftmann

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

isabelle