2011-07-16 haftmann [Sat, 16 Jul 2011 22:28:35 +0200] rev 43854
generalized some lemmas
src/HOL/Complete_Lattice.thy

2011-07-16 haftmann [Sat, 16 Jul 2011 22:04:02 +0200] rev 43853
consolidated bot and top classes, tuned notation
src/HOL/Complete_Lattice.thy src/HOL/Orderings.thy

2011-07-16 haftmann [Sat, 16 Jul 2011 21:53:50 +0200] rev 43852
tuned notation
src/HOL/Complete_Lattice.thy

2011-07-16 wenzelm [Sat, 16 Jul 2011 22:17:27 +0200] rev 43851
clarified bash_output_fifo;
src/Pure/System/isabelle_system.ML

2011-07-16 wenzelm [Sat, 16 Jul 2011 20:52:41 +0200] rev 43850
moved bash operations to Isabelle_System (cf. Scala version);
src/HOL/Library/Sum_of_Squares/sos_wrapper.ML src/HOL/Matrix/Compute_Oracle/am_ghc.ML src/HOL/Matrix/Cplex_tools.ML src/HOL/Predicate_Compile_Examples/ROOT.ML src/HOL/TPTP/atp_export.ML src/HOL/Tools/ATP/atp_systems.ML src/HOL/Tools/Nitpick/kodkod.ML src/HOL/Tools/Predicate_Compile/code_prolog.ML src/HOL/Tools/Quickcheck/narrowing_generators.ML src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML src/HOL/Tools/sat_solver.ML src/HOL/ex/svc_funcs.ML src/Pure/Concurrent/bash.ML src/Pure/Concurrent/bash_ops.ML src/Pure/Concurrent/bash_sequential.ML src/Pure/IsaMakefile src/Pure/ROOT.ML src/Pure/System/isabelle_system.ML src/Pure/Thy/present.ML src/Tools/Code/code_target.ML src/Tools/cache_io.ML

2011-07-16 wenzelm [Sat, 16 Jul 2011 20:14:58 +0200] rev 43849
access to process output stream via auxiliary fifo;
src/Pure/System/isabelle_system.ML

2011-07-16 wenzelm [Sat, 16 Jul 2011 18:41:35 +0200] rev 43848
some file and directory operations;
src/Pure/General/file.ML

2011-07-16 wenzelm [Sat, 16 Jul 2011 18:20:02 +0200] rev 43847
more general bash_process, which allows to terminate background processes as well;
src/Pure/Concurrent/bash.ML src/Pure/Concurrent/bash_ops.ML src/Pure/Concurrent/bash_sequential.ML src/Pure/IsaMakefile src/Pure/ROOT.ML

2011-07-16 wenzelm [Sat, 16 Jul 2011 18:11:14 +0200] rev 43846
updated to Poly/ML SVN 1328, which is considered 5.4.2;
Admin/isatest/settings/at-poly-test Admin/isatest/settings/cygwin-poly-e Admin/isatest/settings/mac-poly64-M4 Admin/isatest/settings/mac-poly64-M8

2011-07-16 wenzelm [Sat, 16 Jul 2011 17:11:49 +0200] rev 43845
added File.fold_pages for streaming of large files;
prefer \f notation;
src/Pure/General/file.ML src/Pure/General/symbol.ML src/Pure/ML/ml_syntax.ML