| Age | Commit message (Expand) | Author |
|---|---|---|
| 1999-06-30 | Tweaks | David Aspinall |
| 1999-06-30 | Simple hit counter | David Aspinall |
| 1999-06-30 | updated | David Aspinall |
| 1999-06-30 | isar-preprocessing: sync markers; | Makarius Wenzel |
| 1999-06-30 | *** empty log message *** | Patrick Loiseleur |
| 1999-06-30 | last commit for 2.1 | Patrick Loiseleur |
| 1999-06-30 | keywords of coq 6.3 | Patrick Loiseleur |
| 1999-06-28 | Set CVSROOT for remote cvs. | David Aspinall |
| 1999-06-28 | todo for web pages | David Aspinall |
| 1999-06-28 | Changed doc targets during build | David Aspinall |
| 1999-06-28 | Updated. | David Aspinall |
| 1999-06-28 | Added .ps.gz target and dist target. | David Aspinall |
| 1999-06-28 | Tweak | David Aspinall |
| 1999-06-28 | Link for printing download is just .ps.gz now. | David Aspinall |
| 1999-06-28 | Mention Plastic and Isar and release number of Emacs. | David Aspinall |
| 1999-06-28 | Problems with @image commented. | David Aspinall |
| 1999-06-28 | Removed accidental deletion of ps file. | David Aspinall |
| 1999-06-28 | updated; | Makarius Wenzel |
| 1999-06-28 | 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-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 |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |