| Age | Commit message (Expand) | Author |
|---|---|---|
| 2000-02-14 | removed then_apply; | Makarius Wenzel |
| 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 |
| 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 |
| 1999-10-01 | isar-keywords-proof-asm-goal; | Makarius Wenzel |
| 1999-09-26 | added thms_containing, ML_setup; | Makarius Wenzel |
| 1999-08-23 | print_context; | Makarius Wenzel |
| 1999-08-16 | disable_pr, enable_pr; | Makarius Wenzel |
| 1999-08-03 | updated; | Makarius Wenzel |
| 1999-07-28 | pretty_setmargin; | Makarius Wenzel |
| 1999-07-27 | updated; | Makarius Wenzel |
| 1999-07-22 | removed 'break'; | Makarius Wenzel |
| 1999-07-09 | added def; | Makarius Wenzel |
| 1999-07-08 | added concl, thence; | Makarius Wenzel |
| 1999-07-06 | removed prev, up, top; | Makarius Wenzel |
| 1999-07-02 | added "sorry" proof; | Makarius Wenzel |
| 1999-07-02 | "txt" keyword; | Makarius Wenzel |
| 1999-07-01 | isar-keywords-proof-asm; | Makarius Wenzel |
| 1999-06-28 | updated; | Makarius Wenzel |
| 1999-06-04 | updated; | Makarius Wenzel |
| 1999-05-27 | renamed undos to undos_proof; | Makarius Wenzel |
| 1999-05-26 | added isar-keywords-qed-block; | Makarius Wenzel |
| 1999-05-24 | this version actually generated by Isabelle; | Makarius Wenzel |
| 1999-05-23 | Isabelle/Isar keyword classification (used to be in isar-syntax.el); | Makarius Wenzel |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |