aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
1999-07-02Date change.David Aspinall
1999-07-02Missing space.David Aspinall
1999-07-02Spaces and punctuationDavid Aspinall
1999-07-02Notes about php functions.David Aspinall
1999-07-01isar-keywords-proof-asm;Makarius Wenzel
1999-07-01Note about doc files absence from devel tarball.David Aspinall
1999-07-01Set version tag for new release.David Aspinall
1999-07-01Simplified for new rpmDavid Aspinall
1999-07-01Fix rpm building for 3.0.1 version of RPM.David Aspinall
1999-07-01Put info files back in dist.David Aspinall
1999-06-30Attribute LFCS on front pageDavid Aspinall
1999-06-30topdir stuff broken, to be fixed.David Aspinall
1999-06-30Removed hack for texi2html, now using hacked texi2html instead.David Aspinall
1999-06-30Streamlined a bitDavid Aspinall
1999-06-30Removed distinstall, doesn't work for temporary server.David Aspinall
1999-06-30Note about compilationDavid Aspinall
1999-06-30Missing parentheses added. Docstring fix.David Aspinall
1999-06-30Set version tag for new release.David Aspinall
1999-06-30TweaksDavid Aspinall
1999-06-30Simple hit counterDavid Aspinall
1999-06-30updatedDavid Aspinall
1999-06-30isar-preprocessing: sync markers;Makarius Wenzel
1999-06-30*** empty log message ***Patrick Loiseleur
1999-06-30last commit for 2.1Patrick Loiseleur
1999-06-30keywords of coq 6.3Patrick Loiseleur
1999-06-28Set CVSROOT for remote cvs.David Aspinall
1999-06-28todo for web pagesDavid Aspinall
1999-06-28Changed doc targets during buildDavid Aspinall
1999-06-28Updated.David Aspinall
1999-06-28Added .ps.gz target and dist target.David Aspinall
1999-06-28TweakDavid Aspinall
1999-06-28Link for printing download is just .ps.gz now.David Aspinall
1999-06-28Mention Plastic and Isar and release number of Emacs.David Aspinall
1999-06-28Problems with @image commented.David Aspinall
1999-06-28Removed accidental deletion of ps file.David Aspinall
1999-06-28updated;Makarius Wenzel
1999-06-28Added pg_title variableDavid Aspinall
1999-06-28Fixed link to devel RPM.David Aspinall
1999-06-28Paraphrased some of the history.David Aspinall
1999-06-28Remove temporary fileproofgen
1999-06-28Set version tag for new release.David Aspinall
1999-06-28UpdatedDavid Aspinall
1999-06-28general with whipDavid Aspinall
1999-06-28Fixed email addressesDavid Aspinall
1999-06-28Got proper file from backup.David Aspinall
1999-06-28pointer to FSF EmacsDavid Aspinall
1999-06-24Set version tag for new release.proofgen
1999-06-24Added ChangeLog to dist area.proofgen
1999-06-24Updates for new web pages, todo list.David Aspinall
1999-06-24Support for version 3 browsers added.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-19 14:59:39 +0000