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