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

export generic_pref etc.;
2008-10-14, by wenzelm
renamed kill_all to kill, in conformance with atp_kill command;
2008-10-14, by wenzelm
tuned comments;
2008-10-14, by wenzelm
added lemma
2008-10-14, by nipkow
Added liveness analysis
2008-10-14, by nipkow
info: back to plain printing;
2008-10-14, by wenzelm
added min_elem, upto;
2008-10-14, by wenzelm
added value;
2008-10-14, by wenzelm
simplified synchronized variable access;
2008-10-14, by wenzelm
State variables with synchronized access.
2008-10-13, by wenzelm
added generic combinator for synchronized evaluation (formerly in future.ML);
2008-10-13, by wenzelm
simplified implementation using Synchronized.var;
2008-10-13, by wenzelm
SimpleThread.synchronized;
2008-10-13, by wenzelm
added Concurrent/synchronized.ML;
2008-10-13, by wenzelm
** Update from Fabian **
2008-10-13, by wenzelm
** Update from Fabian **
2008-10-13, by wenzelm
** Update from Fabian **
2008-10-13, by wenzelm
tuned output;
2008-10-13, by wenzelm
tuned
2008-10-13, by haftmann
tuned
2008-10-13, by urbanc
change DISTPREFIX to not use yet another filesystem
2008-10-11, by kleing
tuned
2008-10-10, by haftmann
tuned
2008-10-10, by haftmann
tuned
2008-10-10, by haftmann
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
made SMLNJ happy
2008-10-09, by haftmann
less tracing;
2008-10-08, by wenzelm
Future.joint_results is already uninterruptible;
2008-10-08, by wenzelm
more careful handling of group interrupts;
2008-10-08, by wenzelm
use polyml-cvs, which fixes a serious deadlock problem of Poly/ML runtime vs. GC;
2008-10-08, by wenzelm
added HOL-Main;
2008-10-08, by wenzelm
setmp_noncritical makes it work with future scheduler;
2008-10-08, by wenzelm
The result of the equality inference rule no longer undergoes factoring.
2008-10-08, by paulson

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

isabelle