isabelle: Changelog

aspinall [Wed, 18 Jul 2007 14:44:49 +0200] rev 23840

Direct priority and tracing channels properly.

paulson [Wed, 18 Jul 2007 11:43:06 +0200] rev 23839

tidying using metis

wenzelm [Tue, 17 Jul 2007 22:51:27 +0200] rev 23838

fileident --- produce file identification based;

wenzelm [Tue, 17 Jul 2007 22:51:13 +0200] rev 23837

added ISABELLE_FILE_IDENT (command line for source file identification);

wenzelm [Tue, 17 Jul 2007 22:48:40 +0200] rev 23836

adapted TextIO.inputLine;

wenzelm [Tue, 17 Jul 2007 22:48:39 +0200] rev 23835

tuned comment;

wenzelm [Tue, 17 Jul 2007 16:14:42 +0200] rev 23834

avoid redundant variables in patterns (which made Alice vomit);

paulson [Tue, 17 Jul 2007 16:06:13 +0200] rev 23833

Full sort information by default. Race condition on successful proofs fixed.

berghofe [Tue, 17 Jul 2007 16:05:54 +0200] rev 23832

Added hypotheses.

berghofe [Tue, 17 Jul 2007 16:05:34 +0200] rev 23831

Added clause for hypotheses to proof_of_xml function.

isabelle