Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Isabelle/Isar keyword classification (used to be in isar-syntax.el); | 1999-05-23 | |
* | tuned usage; | 1999-05-23 | |
* | tuned; | 1999-05-21 | |
* | tuned -- still quite unsatisfactory; | 1999-05-21 | |
* | made part of the Isabelle sources; | 1999-05-21 | |
* | fixed proof-shell-quit-cmd; | 1999-04-27 | |
* | deactivated '.' and '..' keywords (tmp); | 1999-04-27 | |
* | added "thus", "hence"; | 1999-04-23 | |
* | initial version of 'isar proof assistant (Isabelle/Isar); | 1999-04-16 |