| Age | Commit message (Expand) | Author |
|---|---|---|
| 1999-06-28 | Remove temporary file | proofgen |
| 1999-06-28 | Set version tag for new release. | David Aspinall |
| 1999-06-28 | Updated | David Aspinall |
| 1999-06-28 | general with whip | David Aspinall |
| 1999-06-28 | Fixed email addresses | David Aspinall |
| 1999-06-28 | Got proper file from backup. | David Aspinall |
| 1999-06-28 | pointer to FSF Emacs | David Aspinall |
| 1999-06-24 | Set version tag for new release. | proofgen |
| 1999-06-24 | Added ChangeLog to dist area. | proofgen |
| 1999-06-24 | Updates for new web pages, todo list. | David Aspinall |
| 1999-06-24 | Support for version 3 browsers added. | David Aspinall |
| 1999-06-24 | Deleted files. | David Aspinall |
| 1999-06-24 | New image | David Aspinall |
| 1999-06-24 | Style sheet. | David Aspinall |
| 1999-06-24 | Notes about web pages | David Aspinall |
| 1999-06-24 | New web pages | David Aspinall |
| 1999-06-24 | .phtml instead | David Aspinall |
| 1999-06-24 | New images | David Aspinall |
| 1999-06-24 | Ignore file | David Aspinall |
| 1999-06-24 | Updates and new images | David Aspinall |
| 1999-06-24 | Deleted files. | David Aspinall |
| 1999-06-24 | Change of image | David Aspinall |
| 1999-06-24 | Replaces .eps file | David Aspinall |
| 1999-06-24 | Updates | David Aspinall |
| 1999-06-24 | Deleted files. | David Aspinall |
| 1999-06-21 | Hints Resolve | Patrick Loiseleur |
| 1999-06-21 | unkillable buffer bugfix | Patrick Loiseleur |
| 1999-06-18 | New front page image. Updated magic. | David Aspinall |
| 1999-06-18 | Docstring | David Aspinall |
| 1999-06-18 | tactics-name-face | Patrick Loiseleur |
| 1999-06-16 | better syntax | Patrick Loiseleur |
| 1999-06-15 | Removed proof shell kill bug | David Aspinall |
| 1999-06-15 | List of authors/maintainers. | David Aspinall |
| 1999-06-15 | Docstring fixes. | David Aspinall |
| 1999-06-15 | Fixes for XEmacs 21.1 | David Aspinall |
| 1999-06-14 | Bugfixes in proof-shell-exit and proof-shell-kill-function | Patrick Loiseleur |
| 1999-06-14 | Added proof-tactics-name-face | Patrick Loiseleur |
| 1999-06-14 | Added coq-begin-Section and coq-end-Section | Patrick Loiseleur |
| 1999-06-14 | Various updates. coq-end-Section now works properly. | Patrick Loiseleur |
| 1999-06-09 | More colors, more regexps, more keywords | Patrick Loiseleur |
| 1999-06-08 | various fixes | Patrick Loiseleur |
| 1999-06-08 | *** empty log message *** | Patrick Loiseleur |
| 1999-06-07 | Dont include plastic/isar in main distribution. | David Aspinall |
| 1999-06-07 | Mention Plastic and Isar | David Aspinall |
| 1999-06-07 | Patched patch for updated proof-site.el | David Aspinall |
| 1999-06-07 | Added todo for XEmacs packaging, reordered. | David Aspinall |
| 1999-06-07 | Patched patch for updated proof-site.el | David Aspinall |
| 1999-06-07 | Comments | David Aspinall |
| 1999-06-07 | Cleaned up docstrings | David Aspinall |
| 1999-06-07 | Set version tag for new release. | proofgen |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |