aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar
Commit message (Expand)AuthorAge
* updated;Gravatar Makarius Wenzel1999-06-04
* oops;Gravatar Makarius Wenzel1999-05-27
* removed junk;Gravatar Makarius Wenzel1999-05-27
* provide proof-string-start-regexp, proof-string-end-regexp;Gravatar Makarius Wenzel1999-05-27
* renamed undos to undos_proof;Gravatar Makarius Wenzel1999-05-27
* be chatty;Gravatar Makarius Wenzel1999-05-27
* proper setup for indentation;Gravatar Makarius Wenzel1999-05-26
* tuned keywords;Gravatar Makarius Wenzel1999-05-26
* added isar-keywords-qed-block;Gravatar Makarius Wenzel1999-05-26
* more examples;Gravatar Makarius Wenzel1999-05-25
* tuned;Gravatar Makarius Wenzel1999-05-25
* this version actually generated by Isabelle;Gravatar Makarius Wenzel1999-05-24
* replaced isar-keywords-section by isar-keywords-theory-heading;Gravatar Makarius Wenzel1999-05-23
* improved classification of keywords (see also isar-keywords.el);Gravatar Makarius Wenzel1999-05-23
* Isabelle/Isar keyword classification (used to be in isar-syntax.el);Gravatar Makarius Wenzel1999-05-23
* tuned usage;Gravatar Makarius Wenzel1999-05-23
* tuned;Gravatar Makarius Wenzel1999-05-21
* tuned -- still quite unsatisfactory;Gravatar Makarius Wenzel1999-05-21
* made part of the Isabelle sources;Gravatar Makarius Wenzel1999-05-21
* fixed proof-shell-quit-cmd;Gravatar Makarius Wenzel1999-04-27
* deactivated '.' and '..' keywords (tmp);Gravatar Makarius Wenzel1999-04-27
* added "thus", "hence";Gravatar Makarius Wenzel1999-04-23
* initial version of 'isar proof assistant (Isabelle/Isar);Gravatar Makarius Wenzel1999-04-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-17 01:09:34 +0000