2008-10-10 haftmann 2008-10-10 tuned
2008-10-10 haftmann 2008-10-10 tuned
2008-10-10 haftmann 2008-10-10 tuned
2008-10-10 haftmann 2008-10-10 `code func` now just `code`
2008-10-10 haftmann 2008-10-10 some adaption
2008-10-10 haftmann 2008-10-10 using tikz pictures
2008-10-10 haftmann 2008-10-10 tuned default rules of (dvd)
2008-10-09 wenzelm 2008-10-09 replaced str_of by general peek;
2008-10-09 wenzelm 2008-10-09 extra Poly/ML toplevel pretty printing in ML-Systems/install_pp_polyml.ML;
2008-10-09 wenzelm 2008-10-09 fixed spelling;
2008-10-09 wenzelm 2008-10-09 added enabled; removed pseudo-parallel version of profile -- CRITICAL prevents future join;
2008-10-09 wenzelm 2008-10-09 added enabled;
2008-10-09 wenzelm 2008-10-09 Multithreading.enabled;
2008-10-09 wenzelm 2008-10-09 moved future_scheduler flag to Concurrent/ROOT.ML;
2008-10-09 wenzelm 2008-10-09 added invalidate_group; SimpleThread.interrupt;
2008-10-09 wenzelm 2008-10-09 added fail-safe interrupt;
2008-10-09 wenzelm 2008-10-09 subject to Multithreading.enabled; raw_map: join sequentially, less overhead;
2008-10-09 wenzelm 2008-10-09 future result: Interrupt invalidates group, but pretends success otherwise;
2008-10-09 wenzelm 2008-10-09 added future_scheduler flag (tmp!), from skip_proofs.ML; added Concurrent/par_list_dummy.ML;
2008-10-09 wenzelm 2008-10-09 Dummy version of parallel list combinators -- plain sequential evaluation.
2008-10-09 wenzelm 2008-10-09 added Concurrent/par_list_dummy.ML;
2008-10-09 wenzelm 2008-10-09 improved performance of skolem cache, due to parallel map; misc tuning, less verbosity;
2008-10-09 wenzelm 2008-10-09 SimpleThread.interrupt;
2008-10-09 wenzelm 2008-10-09 report: back to single message;
2008-10-09 wenzelm 2008-10-09 added section label;
2008-10-09 haftmann 2008-10-09 tuned
2008-10-09 kleing 2008-10-09 do logging to MASTERLOG centrally (avoid multiple writers over NFS as this tends to corrupt the log file if not mounted with -sync option which apparently is not the default any more).
2008-10-09 haftmann 2008-10-09 removed legacy |>>>
2008-10-09 haftmann 2008-10-09 established canonical argument order in SML code generators
2008-10-09 haftmann 2008-10-09 established canonical argument order
2008-10-09 haftmann 2008-10-09 made SMLNJ happy
2008-10-08 wenzelm 2008-10-08 less tracing; removed heartbeat thread;
2008-10-08 wenzelm 2008-10-08 Future.joint_results is already uninterruptible;
2008-10-08 wenzelm 2008-10-08 more careful handling of group interrupts; join control is uninterruptible; less tracing;
2008-10-08 wenzelm 2008-10-08 use polyml-cvs, which fixes a serious deadlock problem of Poly/ML runtime vs. GC;
2008-10-08 wenzelm 2008-10-08 added HOL-Main;
2008-10-08 wenzelm 2008-10-08 setmp_noncritical makes it work with future scheduler;
2008-10-08 paulson 2008-10-08 The result of the equality inference rule no longer undergoes factoring.
2008-10-08 kleing 2008-10-08 make the test for experimental sessions in isatest-check actually work (test for log files ending in e.log)
2008-10-08 kleing 2008-10-08 leave a log message when no snapshot is generated
2008-10-07 haftmann 2008-10-07 clarified preprocessor policies
2008-10-07 haftmann 2008-10-07 arbitrary is undefined
2008-10-07 haftmann 2008-10-07 tuned whitespace
2008-10-07 haftmann 2008-10-07 only one theorem table for both code generators
2008-10-07 haftmann 2008-10-07 proper default codegen attribute
2008-10-07 haftmann 2008-10-07 tuned code setup
2008-10-07 haftmann 2008-10-07 code generator more liberal with respect to sort constraints of instance parameters
2008-10-07 haftmann 2008-10-07 more Isar for example
2008-10-07 haftmann 2008-10-07 tuned funpow code generation
2008-10-07 haftmann 2008-10-07 tuned min/max code generation
2008-10-07 haftmann 2008-10-07 dropped superfluous if
2008-10-07 haftmann 2008-10-07 tuned of_nat code generation
2008-10-07 haftmann 2008-10-07 re-introduces axiom subst
2008-10-07 haftmann 2008-10-07 corrected SML undefined
2008-10-07 wenzelm 2008-10-07 updated to official version as of 07-Oct-2008;
2008-10-06 wenzelm 2008-10-06 fold_lines: more tuning, avoiding extra split_last;
2008-10-06 wenzelm 2008-10-06 extra check of PROOFGENERAL_HOME;
2008-10-05 kleing 2008-10-05 needs -b option for isabelle getenv
2008-10-04 wenzelm 2008-10-04 updated generated file;
2008-10-04 wenzelm 2008-10-04 tuned isabelle usage;