Commit message (Expand) | Author | Age | |
---|---|---|---|
* | print_context; | Makarius Wenzel | 1999-08-23 |
* | disable_pr, enable_pr; | Makarius Wenzel | 1999-08-16 |
* | updated; | Makarius Wenzel | 1999-08-03 |
* | pretty_setmargin; | Makarius Wenzel | 1999-07-28 |
* | updated; | Makarius Wenzel | 1999-07-27 |
* | removed 'break'; | Makarius Wenzel | 1999-07-22 |
* | added def; | Makarius Wenzel | 1999-07-09 |
* | added concl, thence; | Makarius Wenzel | 1999-07-08 |
* | removed prev, up, top; | Makarius Wenzel | 1999-07-06 |
* | added "sorry" proof; | Makarius Wenzel | 1999-07-02 |
* | "txt" keyword; | Makarius Wenzel | 1999-07-02 |
* | isar-keywords-proof-asm; | Makarius Wenzel | 1999-07-01 |
* | updated; | Makarius Wenzel | 1999-06-28 |
* | updated; | Makarius Wenzel | 1999-06-04 |
* | renamed undos to undos_proof; | Makarius Wenzel | 1999-05-27 |
* | added isar-keywords-qed-block; | Makarius Wenzel | 1999-05-26 |
* | this version actually generated by Isabelle; | Makarius Wenzel | 1999-05-24 |
* | Isabelle/Isar keyword classification (used to be in isar-syntax.el); | Makarius Wenzel | 1999-05-23 |