aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar/isar-keywords.el
Commit message (Expand)AuthorAge
* update from Isabelle2009-2;Gravatar Makarius Wenzel2010-06-29
* Clean whitespaceGravatar David Aspinall2009-09-05
* updated from pre-Isabelle2005;Gravatar Makarius Wenzel2005-09-22
* Updated.Gravatar David Aspinall2005-09-21
* New files.Gravatar David Aspinall2005-09-21
* obsolete;Gravatar Makarius Wenzel2005-08-18
* Revert to previous version. Explain existence of other versionsGravatar David Aspinall2002-06-30
* Fix to prevent {* being considered a command, flag editsGravatar David Aspinall2002-06-24
* Add types_code and friendsGravatar David Aspinall2002-06-05
* tuned comment;Gravatar Makarius Wenzel2002-01-26
* back to *official* Isabelle99-2 (later Isabelle dists will provideGravatar Makarius Wenzel2001-08-31
* new commands (proof terms, code generator);Gravatar Makarius Wenzel2001-08-31
* preliminary addition of "corollary";Gravatar Makarius Wenzel2001-05-18
* added "recdef_tc";Gravatar Makarius Wenzel2001-01-03
* complete set of keywords from IOA image;Gravatar Makarius Wenzel2000-09-18
* removed "of", "congs";Gravatar Makarius Wenzel2000-09-07
* added isar-keywords-proof-improper;Gravatar Makarius Wenzel2000-08-16
* new category isar-keywords-proof-heading;Gravatar Makarius Wenzel2000-08-07
* added "thm_deps", "overloaded";Gravatar Makarius Wenzel2000-07-29
* removed 'help';Gravatar Makarius Wenzel2000-07-01
* added method_setup;Gravatar Makarius Wenzel2000-06-30
* isar-keywords-proof-open/close;Gravatar Makarius Wenzel2000-06-08
* { } are back;Gravatar Makarius Wenzel2000-06-03
* Temporarily removed keywords { and } for new parsing mechanismGravatar David Aspinall2000-06-01
* isar-keywords-major;Gravatar Makarius Wenzel2000-05-26
* added "done";Gravatar Makarius Wenzel2000-05-24
* replaced {{ }} by { };Gravatar Makarius Wenzel2000-05-22
* removed "simpset" minor keyword;Gravatar Makarius Wenzel2000-04-25
* added 'hide';Gravatar Makarius Wenzel2000-04-17
* 'welcome' made diagnostic;Gravatar Makarius Wenzel2000-04-05
* eliminated 'as' keyword;Gravatar Makarius Wenzel2000-04-05
* added 'print_claset', 'print_simpset';Gravatar Makarius Wenzel2000-04-04
* added 'ProofGeneral.undo';Gravatar Makarius Wenzel2000-04-03
* removed 'variables';Gravatar Makarius Wenzel2000-03-27
* removed 'kill_proof';Gravatar Makarius Wenzel2000-03-23
* added 'moreover';Gravatar Makarius Wenzel2000-03-23
* removed "thence";Gravatar Makarius Wenzel2000-03-19
* added 'case', 'print_cases';Gravatar Makarius Wenzel2000-03-09
* removed then_apply;Gravatar Makarius Wenzel2000-02-14
* added "judgment";Gravatar Makarius Wenzel2000-02-11
* added 'oops';Gravatar Makarius Wenzel2000-02-09
* added prefer, defer;Gravatar Makarius Wenzel2000-01-28
* added "where";Gravatar Makarius Wenzel2000-01-06
* (try_)context_thy_only;Gravatar Makarius Wenzel1999-10-27
* added kill_thy, touch_child_thys;Gravatar Makarius Wenzel1999-10-26
* added ML_command;Gravatar Makarius Wenzel1999-10-20
* renamed verbatim/verb to text_raw/txt_raw;Gravatar Makarius Wenzel1999-10-14
* replaced "clear_undo" to "clear_undos";Gravatar Makarius Wenzel1999-10-07
* isar-keywords-proof-asm-goal;Gravatar Makarius Wenzel1999-10-01
* added thms_containing, ML_setup;Gravatar Makarius Wenzel1999-09-26
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-05 03:48:14 +0000