isabelle: Changelog

wenzelm [Thu, 04 Jan 2007 21:37:02 +0100] rev 22010

removed obsolete ProofGeneral/syntax_standalone.ML;

wenzelm [Thu, 04 Jan 2007 21:36:52 +0100] rev 22009

approximate Syntax.read_int/nat by Int.fromString -- avoids dependency on Syntax module;

wenzelm [Thu, 04 Jan 2007 21:18:05 +0100] rev 22008

added mk_simproc': tuned interface; tuned runtime context: merge with dynamic one;

haftmann [Thu, 04 Jan 2007 20:01:02 +0100] rev 22007

clarification

haftmann [Thu, 04 Jan 2007 20:01:01 +0100] rev 22006

dropped function theorems are considered as deleted

haftmann [Thu, 04 Jan 2007 20:01:00 +0100] rev 22005

examples for evaluation oracle

haftmann [Thu, 04 Jan 2007 20:00:59 +0100] rev 22004

fixed eval oracle

aspinall [Thu, 04 Jan 2007 19:53:00 +0100] rev 22003

Be more chatty in PGIP file operations.proof_general_pgip.ML

wenzelm [Thu, 04 Jan 2007 19:27:08 +0100] rev 22002

broken error handling for command syntax -- reverted to revision 1.9;

aspinall [Thu, 04 Jan 2007 18:09:58 +0100] rev 22001

Use warning fatality

isabelle