| 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 | |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |