| Age | Commit message (Expand) | Author |
|---|
| 1999-08-17 | Mail to majordomo, not da | David Aspinall |
| 1999-08-17 | Updated for web pages, now only low-priority. | David Aspinall |
| 1999-08-17 | HTML tweaks | David Aspinall |
| 1999-08-17 | Set version tag for new release. | David Aspinall |
| 1999-08-16 | obsolete, use Isabelle's native ProofGeneral.init instead; | Makarius Wenzel |
| 1999-08-16 | proof-shell-first-special-char ?\350; | Makarius Wenzel |
| 1999-08-16 | disable_pr, enable_pr; | Makarius Wenzel |
| 1999-08-06 | tuned; | Makarius Wenzel |
| 1999-08-06 | ProofGeneral interface wrapper for Isabelle/classic | Makarius Wenzel |
| 1999-08-03 | updated; | Makarius Wenzel |
| 1999-07-29 | Test files for multiple file handling with Isabelle/Isar; | Makarius Wenzel |
| 1999-07-29 | removed obsolete stuff stemming from isa.el; | Makarius Wenzel |
| 1999-07-28 | fixed proof-goal-command; | Makarius Wenzel |
| 1999-07-28 | fixed Id; | Makarius Wenzel |
| 1999-07-28 | pretty_setmargin; | Makarius Wenzel |
| 1999-07-27 | isar-init-syntax-table now in isar-syntax.el; | Makarius Wenzel |
| 1999-07-27 | isar-name-regexp: group result; | Makarius Wenzel |
| 1999-07-27 | updated; | Makarius Wenzel |
| 1999-07-24 | please ignore (back to 1.1); | Makarius Wenzel |
| 1999-07-24 | please ignore (back to 2.15); | Makarius Wenzel |
| 1999-07-24 | *** empty log message *** | Makarius Wenzel |
| 1999-07-22 | Added prereltag.txt and extra link for latest srpm. | David Aspinall |
| 1999-07-22 | Set version tag for new release. | David Aspinall |
| 1999-07-22 | Updated | David Aspinall |
| 1999-07-22 | Downgraded Isabelle version to 98-1 again | David Aspinall |
| 1999-07-22 | Reverted change to Inferior buffer's name, it fails on simple | David Aspinall |
| 1999-07-22 | removed 'break'; | Makarius Wenzel |
| 1999-07-16 | Set version tag for new release. | David Aspinall |
| 1999-07-09 | added def; | Makarius Wenzel |
| 1999-07-08 | added concl, thence; | Makarius Wenzel |
| 1999-07-08 | isar-stack-to-indent: indent according to (current-column) of open cmd; | Makarius Wenzel |
| 1999-07-08 | (goto-char (point-min)) rather than (proof-goto-end-of-locked); | Makarius Wenzel |
| 1999-07-07 | Set version tag for new release. | David Aspinall |
| 1999-07-06 | removed prev, up, top; | Makarius Wenzel |
| 1999-07-05 | todo for web pages | David Aspinall |
| 1999-07-05 | Validator address fix. | David Aspinall |
| 1999-07-03 | Tweaks and validation fixes. | David Aspinall |
| 1999-07-03 | Fixed validator address. | David Aspinall |
| 1999-07-03 | Comment | David Aspinall |
| 1999-07-03 | todo for html | David Aspinall |
| 1999-07-03 | Load plastic and isar as a sanity check, prelude to documenting in texi | David Aspinall |
| 1999-07-03 | Notice about versions supported, fixes. | David Aspinall |
| 1999-07-03 | Removed extra parenthesis. | David Aspinall |
| 1999-07-03 | Request to register a little more encouraging. | David Aspinall |
| 1999-07-03 | Set version tag for new release. | David Aspinall |
| 1999-07-02 | fixed some regexps via proof-anchor-regexp; | Makarius Wenzel |
| 1999-07-02 | fixed some regexp via proof-anchor-regexp; | Makarius Wenzel |
| 1999-07-02 | Set version tag for new release. | David Aspinall |
| 1999-07-02 | added "sorry" proof; | Makarius Wenzel |
| 1999-07-02 | "txt" keyword; | Makarius Wenzel |
