| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |
| 1999-06-30 | Removed distinstall, doesn't work for temporary server. | David Aspinall |
| 1999-06-30 | Note about compilation | David Aspinall |
| 1999-06-30 | Missing parentheses added. Docstring fix. | David Aspinall |
| 1999-06-30 | Set version tag for new release. | David Aspinall |
| 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 |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |