src/Pure/ProofGeneral/pgip_types.ML
2008-09-29 wenzelm 2008-09-29 handle _ should be avoided (spurious Interrupt will spoil the game);
2008-08-27 wenzelm 2008-08-27 get rid of tabs;
2008-08-27 wenzelm 2008-08-27 type Properties.T;
2007-08-02 wenzelm 2007-08-02 added int type constraints to accomodate hacked SML/NJ;
2007-07-11 aspinall 2007-07-11 Track schema changes: merge messagecategory with area attributes
2007-03-03 aspinall 2007-03-03 Comment
2007-01-22 aspinall 2007-01-22 Sync location with pgip.rnc, fixing attribute names
2007-01-09 aspinall 2007-01-09 Add info fatality for error messages.
2007-01-04 wenzelm 2007-01-04 approximate Syntax.read_int/nat by Int.fromString -- avoids dependency on Syntax module;
2007-01-04 aspinall 2007-01-04 Be more chatty in PGIP file operations.proof_general_pgip.ML
2007-01-04 aspinall 2007-01-04 Add warning fatality
2006-12-31 aspinall 2006-12-31 Quote arguments in PGIP exceptions. Tune comment.
2006-12-29 wenzelm 2006-12-29 signed_string_of_int;
2006-12-29 wenzelm 2006-12-29 minor tuning;
2006-12-27 haftmann 2006-12-27 made SML/NJ happy
2006-12-17 aspinall 2006-12-17 Add abstraction for objtypes and documents.
2006-12-15 wenzelm 2006-12-15 avoid conflict with Alice keywords: renamed pack -> implode, unpack -> explode, any -> many, avoided assert;
2006-12-04 aspinall 2006-12-04 Revamped Proof General interface.