2011-08-16 ago updated keywords -- old codegen is no longer in Pure;
2011-01-06 ago Diagnostic command to show locale dependencies.
2010-12-17 ago Command 'type_synonym' (with single argument) supersedes 'types' (legacy feature);
2010-12-17 ago replaced command 'nonterminals' by slightly modernized version 'nonterminal';
2010-12-05 ago command 'notepad' replaces former 'example_proof';
2010-12-04 ago formal notepad without any result;
2010-11-28 ago added 'syntax_declaration' command;
2010-11-06 ago updated keywords;
2010-09-10 ago updated keywords;
2010-08-27 ago discontinued separate Pure-ProofGeneral keywords session -- protocol commands are already defined in Pure;
2010-08-25 ago discontinued obsolete 'global' and 'local' commands;
2010-08-17 ago updated keywords;
2010-08-06 ago updated keywords;
2010-07-28 ago explicit Keyword.control markup for various control commands -- to prevent them from occurring in proof documents;
2010-07-27 ago updated keywords;
2010-04-29 ago ProofContext.read_const: allow for type constraint (for fixed variable);
2010-04-28 ago updated keywords;
2010-04-26 ago command 'example_proof' opens an empty proof body;
2010-04-23 ago updated generated files;
2010-04-16 ago updated keywords;
2010-04-11 ago updated keywords
2010-03-01 ago updated generated files;
2010-02-22 ago update the keywords files
2009-11-23 ago updated keywords;
2009-11-14 ago updated keywords;
2009-10-23 ago updated keyword files to include "nitpick" and "nitpick_params"
2009-09-29 ago Propagation of mixins for interpretation; reactivated diagnostic command print_interps.
2009-05-12 ago updated keywords
2009-05-11 ago fixed code_pred command
2009-05-11 ago Added pred_code command
2009-03-27 ago updated keywords with polyml-experimental;
2009-03-15 ago updated generated files;
2009-03-12 ago updated generated files;
2009-02-13 ago New command find_consts searching for constants by type (by Timothy Bourke).
2009-01-21 ago updated generated files;
2008-12-30 ago Merged.
2008-12-14 ago Fixed legacy locale keywords (went to ZF rather than default keywords file).
2008-12-12 ago Porting to new locales.
2008-12-15 ago updated generated files;
2008-11-27 ago Sublocale command.
2008-11-06 ago Keyword 'includes' gone.
2008-09-17 ago updated generated file;
2008-07-16 ago updated generated file;
2008-07-14 ago updated generated file;
2008-07-10 ago updated generated file;
2008-07-08 ago updated generated file;
2008-06-14 ago updated generated file;
2008-05-15 ago updated generated file;
2008-03-29 ago updated generated file;
2008-03-25 ago *** empty log message ***
2008-02-28 ago Added unused_thms command.
2007-12-07 ago updated;
2007-12-03 ago updated
2007-10-17 ago updated;
2007-10-10 ago updated;
2007-10-08 ago updated keywords
2007-10-08 ago tuned generated comment;
2007-10-08 ago updated;
2007-10-06 ago updated;
2007-10-06 ago updated;