Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | 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 |