2007-07-18 aspinall [Wed, 18 Jul 2007 14:46:59 +0200] rev 23841
DEEPEN: Use priority message channel for interim messages (not warnings).
src/Pure/search.ML

2007-07-18 aspinall [Wed, 18 Jul 2007 14:44:49 +0200] rev 23840
Direct priority and tracing channels properly.
src/Pure/ProofGeneral/proof_general_pgip.ML

2007-07-18 paulson [Wed, 18 Jul 2007 11:43:06 +0200] rev 23839
tidying using metis
src/HOL/Library/Primes.thy src/HOL/NumberTheory/IntPrimes.thy

2007-07-17 wenzelm [Tue, 17 Jul 2007 22:51:27 +0200] rev 23838
fileident --- produce file identification based;
lib/scripts/fileident

2007-07-17 wenzelm [Tue, 17 Jul 2007 22:51:13 +0200] rev 23837
added ISABELLE_FILE_IDENT (command line for source file identification);
etc/settings

2007-07-17 wenzelm [Tue, 17 Jul 2007 22:48:40 +0200] rev 23836
adapted TextIO.inputLine;
src/Pure/ML-Systems/mosml.ML

2007-07-17 wenzelm [Tue, 17 Jul 2007 22:48:39 +0200] rev 23835
tuned comment;
src/Pure/ML-Systems/alice.ML

2007-07-17 wenzelm [Tue, 17 Jul 2007 16:14:42 +0200] rev 23834
avoid redundant variables in patterns (which made Alice vomit);
src/Pure/ProofGeneral/pgip_markup.ML src/Pure/ProofGeneral/pgip_output.ML src/Pure/ProofGeneral/proof_general_pgip.ML

2007-07-17 paulson [Tue, 17 Jul 2007 16:06:13 +0200] rev 23833
Full sort information by default.
Race condition on successful proofs fixed.
src/HOL/Tools/res_reconstruct.ML

2007-07-17 berghofe [Tue, 17 Jul 2007 16:05:54 +0200] rev 23832
Added hypotheses.
src/Pure/Tools/isabelle.xsd