2011-09-21 wenzelm [Wed, 21 Sep 2011 22:18:17 +0200] rev 45028
alternative Socket_Channel;
use BinIO for fifos uniformly;
bin/isabelle-process doc-src/System/Thy/Basics.thy doc-src/System/Thy/document/Basics.tex src/Pure/General/socket_io.ML src/Pure/System/isabelle_process.ML src/Pure/System/system_channel.scala

2011-09-21 wenzelm [Wed, 21 Sep 2011 20:35:50 +0200] rev 45027
more abstract wrapping of fifos as System_Channel;
src/Pure/System/isabelle_process.scala src/Pure/System/isabelle_system.scala src/Pure/System/system_channel.scala src/Pure/build-jars

2011-09-21 wenzelm [Wed, 21 Sep 2011 17:50:25 +0200] rev 45026
slightly more general Socket_IO as part of Pure;
src/Pure/General/socket_io.ML src/Pure/IsaMakefile src/Pure/ROOT.ML src/Tools/WWW_Find/IsaMakefile src/Tools/WWW_Find/ROOT.ML src/Tools/WWW_Find/scgi_server.ML src/Tools/WWW_Find/server_socket.ML src/Tools/WWW_Find/socket_util.ML

2011-09-21 wenzelm [Wed, 21 Sep 2011 16:04:29 +0200] rev 45025
more hints on Z3 configuration;
src/HOL/Tools/SMT/smt_setup_solvers.ML

2011-09-21 wenzelm [Wed, 21 Sep 2011 15:08:15 +0200] rev 45024
reduced default thread stack, to increase the success rate especially on Windows (NB: the actor worker farm tends to produce 100-200 threads for big sessions);
src/Tools/jEdit/etc/settings

2011-09-21 nipkow [Wed, 21 Sep 2011 07:31:08 +0200] rev 45023
renamed inv -> filter
src/HOL/IMP/AbsInt1.thy src/HOL/IMP/AbsInt1_ivl.thy src/HOL/IMP/AbsInt2.thy

2011-09-21 nipkow [Wed, 21 Sep 2011 07:04:04 +0200] rev 45022
Added proofs about narowing
src/HOL/IMP/AbsInt2.thy

2011-09-21 nipkow [Wed, 21 Sep 2011 07:03:16 +0200] rev 45021
added missing makefile dependence
src/HOL/IsaMakefile

2011-09-21 nipkow [Wed, 21 Sep 2011 06:26:15 +0200] rev 45020
added example
src/HOL/IMP/AbsInt1_ivl.thy src/HOL/IMP/AbsInt2.thy

2011-09-21 nipkow [Wed, 21 Sep 2011 03:24:54 +0200] rev 45019
tuned
src/HOL/IMP/AbsInt1_ivl.thy src/HOL/IMP/AbsInt2.thy