| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2010-06-29 | update from Isabelle2009-2; | Makarius Wenzel | |
| 2009-09-05 | Clean whitespace | David Aspinall | |
| 2005-09-22 | updated from pre-Isabelle2005; | Makarius Wenzel | |
| 2005-09-21 | Updated. | David Aspinall | |
| 2005-09-21 | New files. | David Aspinall | |
| 2005-08-18 | obsolete; | Makarius Wenzel | |
| 2002-06-30 | Revert to previous version. Explain existence of other versions | David Aspinall | |
| 2002-06-24 | Fix to prevent {* being considered a command, flag edits | David Aspinall | |
| 2002-06-05 | Add types_code and friends | David Aspinall | |
| 2002-01-26 | tuned comment; | Makarius Wenzel | |
| 2001-08-31 | back to *official* Isabelle99-2 (later Isabelle dists will provide | Makarius Wenzel | |
| their own copy of this file); | |||
| 2001-08-31 | new commands (proof terms, code generator); | Makarius Wenzel | |
| 2001-05-18 | preliminary addition of "corollary"; | Makarius Wenzel | |
| 2001-01-03 | added "recdef_tc"; | Makarius Wenzel | |
| 2000-09-18 | complete set of keywords from IOA image; | Makarius Wenzel | |
| 2000-09-07 | removed "of", "congs"; | Makarius Wenzel | |
| added "hints"; | |||
| 2000-08-16 | added isar-keywords-proof-improper; | Makarius Wenzel | |
| tuned; | |||
| 2000-08-07 | new category isar-keywords-proof-heading; | Makarius Wenzel | |
| 2000-07-29 | added "thm_deps", "overloaded"; | Makarius Wenzel | |
| 2000-07-01 | removed 'help'; | Makarius Wenzel | |
| added 'print_antiquotations', 'print_commands', 'print_trans_rules'; | |||
| 2000-06-30 | added method_setup; | Makarius Wenzel | |
| 2000-06-08 | isar-keywords-proof-open/close; | Makarius Wenzel | |
| 2000-06-03 | { } are back; | Makarius Wenzel | |
| 2000-06-01 | Temporarily removed keywords { and } for new parsing mechanism | David Aspinall | |
| 2000-05-26 | isar-keywords-major; | Makarius Wenzel | |
| 2000-05-24 | added "done"; | Makarius Wenzel | |
| 2000-05-22 | replaced {{ }} by { }; | Makarius Wenzel | |
| 2000-04-25 | removed "simpset" minor keyword; | Makarius Wenzel | |
| 2000-04-17 | added 'hide'; | Makarius Wenzel | |
| 2000-04-05 | 'welcome' made diagnostic; | Makarius Wenzel | |
| 2000-04-05 | eliminated 'as' keyword; | Makarius Wenzel | |
| 2000-04-04 | added 'print_claset', 'print_simpset'; | Makarius Wenzel | |
| 2000-04-03 | added 'ProofGeneral.undo'; | Makarius Wenzel | |
| fixed 'cd' classification; | |||
| 2000-03-27 | removed 'variables'; | Makarius Wenzel | |
| added 'ultimately'; | |||
| 2000-03-23 | removed 'kill_proof'; | Makarius Wenzel | |
| added 'variables'; | |||
| 2000-03-23 | added 'moreover'; | Makarius Wenzel | |
| 2000-03-19 | removed "thence"; | Makarius Wenzel | |
| 2000-03-09 | added 'case', 'print_cases'; | Makarius Wenzel | |
| 2000-02-14 | removed then_apply; | Makarius Wenzel | |
| added apply_end; | |||
| 2000-02-11 | added "judgment"; | Makarius Wenzel | |
| 2000-02-09 | added 'oops'; | Makarius Wenzel | |
| 2000-01-28 | added prefer, defer; | Makarius Wenzel | |
| 2000-01-06 | added "where"; | Makarius Wenzel | |
| 1999-10-27 | (try_)context_thy_only; | Makarius Wenzel | |
| 1999-10-26 | added kill_thy, touch_child_thys; | Makarius Wenzel | |
| internal ProofGeneral commands; | |||
| 1999-10-20 | added ML_command; | Makarius Wenzel | |
| 1999-10-14 | renamed verbatim/verb to text_raw/txt_raw; | Makarius Wenzel | |
| 1999-10-07 | replaced "clear_undo" to "clear_undos"; | Makarius Wenzel | |
| replaced "title" by "header"; added "verbatim", "verb"; | |||
| 1999-10-01 | isar-keywords-proof-asm-goal; | Makarius Wenzel | |
| 1999-09-26 | added thms_containing, ML_setup; | Makarius Wenzel | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |