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