| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 1999-07-28 | pretty_setmargin; | Makarius Wenzel | |
| 1999-07-27 | isar-init-syntax-table now in isar-syntax.el; | Makarius Wenzel | |
| variations on undo now in isar-syntax.el; proof-shell-restart-cmd: touch_all_thys; proper retract of theories; proper multiple buffer support; | |||
| 1999-07-27 | isar-name-regexp: group result; | Makarius Wenzel | |
| isar-init-syntax-table now in isar-syntax.el; variations on undo now in isar-syntax.el; added isar-remove; | |||
| 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 | |
| case of proof-prog-name="isabelle", for example. | |||
| 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 | |
| removed qed_with; | |||
| 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 | |
| fixed isar-count-undos, isar-find-and-forget: proper handling of empty and diag commands; | |||
| 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 | |
| 1999-07-02 | Date change. | David Aspinall | |
| 1999-07-02 | Missing space. | David Aspinall | |
| 1999-07-02 | Spaces and punctuation | David Aspinall | |
| 1999-07-02 | Notes about php functions. | David Aspinall | |
| 1999-07-01 | isar-keywords-proof-asm; | Makarius Wenzel | |
| 1999-07-01 | Note about doc files absence from devel tarball. | David Aspinall | |
| 1999-07-01 | Set version tag for new release. | David Aspinall | |
| 1999-07-01 | Simplified for new rpm | David Aspinall | |
| 1999-07-01 | Fix rpm building for 3.0.1 version of RPM. | David Aspinall | |
| 1999-07-01 | Put info files back in dist. | David Aspinall | |
| 1999-06-30 | Attribute LFCS on front page | David Aspinall | |
| 1999-06-30 | topdir stuff broken, to be fixed. | David Aspinall | |
| 1999-06-30 | Removed hack for texi2html, now using hacked texi2html instead. | David Aspinall | |
| 1999-06-30 | Streamlined a bit | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |