Commit message (Expand) | Author | Age | |
---|---|---|---|
* | (try_)context_thy_only; | 1999-10-27 | |
* | added kill_thy, touch_child_thys; | 1999-10-26 | |
* | added ML_command; | 1999-10-20 | |
* | renamed verbatim/verb to text_raw/txt_raw; | 1999-10-14 | |
* | replaced "clear_undo" to "clear_undos"; | 1999-10-07 | |
* | isar-keywords-proof-asm-goal; | 1999-10-01 | |
* | added thms_containing, ML_setup; | 1999-09-26 | |
* | print_context; | 1999-08-23 | |
* | disable_pr, enable_pr; | 1999-08-16 | |
* | updated; | 1999-08-03 | |
* | pretty_setmargin; | 1999-07-28 | |
* | updated; | 1999-07-27 | |
* | removed 'break'; | 1999-07-22 | |
* | added def; | 1999-07-09 | |
* | added concl, thence; | 1999-07-08 | |
* | removed prev, up, top; | 1999-07-06 | |
* | added "sorry" proof; | 1999-07-02 | |
* | "txt" keyword; | 1999-07-02 | |
* | isar-keywords-proof-asm; | 1999-07-01 | |
* | updated; | 1999-06-28 | |
* | updated; | 1999-06-04 | |
* | renamed undos to undos_proof; | 1999-05-27 | |
* | added isar-keywords-qed-block; | 1999-05-26 | |
* | this version actually generated by Isabelle; | 1999-05-24 | |
* | Isabelle/Isar keyword classification (used to be in isar-syntax.el); | 1999-05-23 |