etc/isar-keywords.el
2014-02-20 wenzelm 2014-02-20 updated keywords;
2014-02-17 blanchet 2014-02-17 updated keywords
2014-02-14 wenzelm 2014-02-14 updated keywords;
2014-02-13 wenzelm 2014-02-13 do not redefine outer syntax commands;
2014-02-10 wenzelm 2014-02-10 discontinued axiomatic 'classes', 'classrel', 'arities';
2014-02-10 wenzelm 2014-02-10 updated keywords;
2014-01-22 wenzelm 2014-01-22 more cartouche examples, including uniform nesting of sub-languages;
2014-01-18 wenzelm 2014-01-18 support for nested text cartouches; clarified Symbol.is_symbolic: exclude \<open> and \<close>;
2014-01-01 wenzelm 2014-01-01 updated keywords;
2013-12-02 blanchet 2013-12-02 updated keywords
2013-11-16 wenzelm 2013-11-16 proper thy_load command 'boogie_file' -- avoid direct access to file-system;
2013-09-24 blanchet 2013-09-24 updated keywords
2013-09-21 wenzelm 2013-09-21 updated keywords;
2013-09-16 kuncar 2013-09-16 restoring Transfer/Lifting context
2013-09-14 krauss 2013-09-14 updated keywords
2013-09-12 blanchet 2013-09-12 avoid a keyword
2013-09-08 traytel 2013-09-08 don't register "sequential" as a keyword for now as this breaks the parser for function
2013-09-06 wenzelm 2013-09-06 updated keywords;
2013-08-30 blanchet 2013-08-30 updated keywords
2013-08-28 kuncar 2013-08-28 use only one data slot; rename print_quotmaps to print_quot_maps; tuned
2013-08-12 wenzelm 2013-08-12 updated keywords;
2013-07-12 wenzelm 2013-07-12 updated keywords;
2013-07-07 wenzelm 2013-07-07 discontinued command 'print_drafts';
2013-06-25 wenzelm 2013-06-25 misc tuning and clarification;
2013-06-24 wenzelm 2013-06-24 improved "isabelle keywords" and "isabelle update_keywords" based on Isabelle/Scala, without requiring to build sessions first; tuned signature;
2013-06-24 wenzelm 2013-06-24 back to keyword 'pr' :: diag as required for ProofGeneral command line -- reject this TTY command in Isabelle/jEdit by other means;
2013-06-24 wenzelm 2013-06-24 more formal ProofGeneral command setup within theory Pure; consider 'ProofGeneral.pr' as control command as well;
2013-06-23 wenzelm 2013-06-23 tuned message -- more markup;
2013-06-23 wenzelm 2013-06-23 proper diagnostic command 'print_state';
2013-05-25 wenzelm 2013-05-25 syntax translations always depend on context;
2013-05-25 wenzelm 2013-05-25 updated keywords;
2013-05-17 wenzelm 2013-05-17 renamed 'print_configs' to 'print_options';
2013-04-30 blanchet 2013-04-30 renamed "bnf_def" keyword to "bnf" (since it's not a definition, but rather a registration)
2013-04-29 blanchet 2013-04-29 renamed BNF "(co)data" commands to names that are closer to their final names
2013-04-26 blanchet 2013-04-26 updated keywords
2013-04-10 wenzelm 2013-04-10 updated keywords;
2013-03-30 wenzelm 2013-03-30 added 'print_defn_rules' command; tuned;
2013-03-08 wenzelm 2013-03-08 updated keywords (cf. 84d01fd733cf);
2013-02-28 wenzelm 2013-02-28 discontinued obsolete 'axioms' command;
2013-02-27 wenzelm 2013-02-27 discontinued redundant 'use' command;
2013-02-27 wenzelm 2013-02-27 discontinued obsolete 'uses' within theory header;
2013-02-25 wenzelm 2013-02-25 reconsider 'export_code' as "thy_decl" command due to its global side-effect on the file-system;
2013-02-25 wenzelm 2013-02-25 reconsider 'pretty_setmargin' as "control" command (instead of "diag") -- it is stateful and Proof General legacy;
2012-11-30 wenzelm 2012-11-30 added 'print_inductives' command;
2012-11-17 wenzelm 2012-11-17 updated keywords;
2012-09-28 wenzelm 2012-09-28 updated keywords using proper "isabelle update_keywords";
2012-09-28 blanchet 2012-09-28 killed temporary "data_raw" and "codata_raw" now that the examples have been ported to "data" and "codata"
2012-09-28 blanchet 2012-09-28 compatibility option to use "rep_datatype"
2012-09-26 wenzelm 2012-09-26 updated keywords;
2012-09-21 blanchet 2012-09-21 renamed "Codatatype" directory "BNF" (and corresponding session) -- this opens the door to no-nonsense session names like "HOL-BNF-LFP"
2012-09-11 wenzelm 2012-09-11 updated keywords;
2012-09-04 blanchet 2012-09-04 started work on sugared "(co)data" commands
2012-09-03 blanchet 2012-09-03 renamed three BNF/(co)datatype-related commands
2012-08-30 blanchet 2012-08-30 more work on BNF sugar -- up to derivation of nchotomy
2012-08-30 blanchet 2012-08-30 killed obsolete "bnf_of_typ" command
2012-08-28 wenzelm 2012-08-28 more permanent update of keywords (cf. 3517d6f50b12);
2012-08-28 blanchet 2012-08-28 updated keywords
2012-08-23 wenzelm 2012-08-23 added specific 'spark_open_vcg' and 'spark_open_siv' with formal management of corresponding source files;
2012-08-20 wenzelm 2012-08-20 some support for inlining file content into outer syntax token language;
2012-08-07 wenzelm 2012-08-07 prefer static Build.outer_syntax in Isabelle/Scala session -- discontinued incremental protocol; just one cumulative Keyword.status at end of batch session;