2005-10-06 haftmann [Thu, 06 Oct 2005 08:56:15 +0200] rev 17769
changed sydney share
Admin/rsyncd.conf

2005-10-05 wenzelm [Wed, 05 Oct 2005 19:28:12 +0200] rev 17768
added Poplog/PML version 15.6/2.1 (experimental!);
etc/settings

2005-10-05 haftmann [Wed, 05 Oct 2005 18:38:43 +0200] rev 17767
added fold_nodes, map_node_yield
src/Pure/General/graph.ML

2005-10-05 haftmann [Wed, 05 Oct 2005 18:38:28 +0200] rev 17766
added merge, tuned
src/Pure/General/alist.ML

2005-10-05 nipkow [Wed, 05 Oct 2005 14:01:32 +0200] rev 17765
added last in set lemma
src/HOL/List.thy

2005-10-05 paulson [Wed, 05 Oct 2005 11:18:06 +0200] rev 17764
improved process handling. tidied
src/HOL/Tools/ATP/res_clasimpset.ML src/HOL/Tools/ATP/watcher.ML src/HOL/Tools/res_atp.ML src/HOL/Tools/res_clause.ML src/HOL/Tools/res_lib.ML

2005-10-05 paulson [Wed, 05 Oct 2005 10:56:06 +0200] rev 17763
more signals
src/Pure/ML-Systems/polyml-posix.ML src/Pure/ML-Systems/smlnj.ML

2005-10-04 nipkow [Tue, 04 Oct 2005 23:39:42 +0200] rev 17762
new hd/rev/last lemmas
src/HOL/List.thy

2005-10-04 nipkow [Tue, 04 Oct 2005 23:30:46 +0200] rev 17761
new lemmas
src/HOL/Finite_Set.thy

2005-10-04 wenzelm [Tue, 04 Oct 2005 21:39:16 +0200] rev 17760
added compiler and runtime options;
src/Pure/ML-Systems/poplogml.ML