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 |