| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Added pg_title variable |  David Aspinall | 1999-06-28 |
| * | Fixed link to devel RPM. | David Aspinall | 1999-06-28 |
| * | Paraphrased some of the history. | David Aspinall | 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-28 |
| * | 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-24 |
| * | Hints Resolve |  Patrick Loiseleur | 1999-06-21 |
| * | unkillable buffer bugfix | Patrick Loiseleur | 1999-06-21 |
| * | New front page image. Updated magic. | David Aspinall | 1999-06-18 |
| * | Docstring | David Aspinall | 1999-06-18 |
| * | tactics-name-face | Patrick Loiseleur | 1999-06-18 |
| * | better syntax | Patrick Loiseleur | 1999-06-16 |
| * | 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-15 |
| * | 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-14 |
| * | More colors, more regexps, more keywords | Patrick Loiseleur | 1999-06-09 |
| * | various fixes | Patrick Loiseleur | 1999-06-08 |
| * | *** empty log message *** | Patrick Loiseleur | 1999-06-08 |
| * | 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 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |