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
aspinall [Thu, 04 Jan 2007 18:09:30 +0100] rev 22000
Add warning fatality
paulson [Thu, 04 Jan 2007 17:55:12 +0100] rev 21999
improvements to proof reconstruction. Some files loaded in a different order
webertj [Thu, 04 Jan 2007 17:52:28 +0100] rev 21998
using Array.modifyi (no functional change)
wenzelm [Thu, 04 Jan 2007 17:49:43 +0100] rev 21997
run as RAW session;
wenzelm [Thu, 04 Jan 2007 17:49:42 +0100] rev 21996
removed obsolete option -C;
added option -R: run RAW session;