aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2001-05-08Change DEVELDOWNLOAD to edit correct fileDavid Aspinall
2001-05-08Updated.David Aspinall
2001-05-08Add a line to clear out build root.David Aspinall
2001-05-08Updated.David Aspinall
2001-05-08Forgot to make BUILD dir.David Aspinall
2001-05-08Updated.David Aspinall
2001-05-08Fix cut and past tab errorDavid Aspinall
2001-05-08rpm target: Clean out rpmtopdir, and make subdirs again. Get full path to ta...David Aspinall
2001-05-08Updated.David Aspinall
2001-05-08Clean out NAME, force link.David Aspinall
2001-05-08Updated.David Aspinall
2001-05-08Include a few files from etc in the distribution, esp .spec fileDavid Aspinall
2001-05-08*** empty log message ***David Aspinall
2001-05-08Deleted files.David Aspinall
2001-05-08Updated.David Aspinall
2001-05-08Fix section title for makeinfoDavid Aspinall
2001-05-08Set version tag for new release.David Aspinall
2001-05-08Dont make SRPM any more. Use rpm -tb to build binary package from tarballDavid Aspinall
2001-05-08UpdatesDavid Aspinall
2001-05-08Updates, removal of patch so that rpm -ta worksDavid Aspinall
2001-05-08Updates for 3.3David Aspinall
2001-05-08Fixes for fontification in Xemacs 21.4David Aspinall
2001-05-08Copyright date updatedDavid Aspinall
2001-05-08Add Markus to list of authorsDavid Aspinall
2001-05-08preliminary -> experimentalDavid Aspinall
2001-05-08No longer distrib SRPMDavid Aspinall
2001-05-08New news itemDavid Aspinall
2001-05-03change for Emacs compatibility and FSF/Xemacs update. Copyright update.David Aspinall
2001-05-03Emacs fix (extent->span). Copyright update.David Aspinall
2001-05-01Updated.David Aspinall
2001-05-01Try to disable image for nowDavid Aspinall
2001-05-01Set version tag for new release.David Aspinall
2001-05-01Change link to kitDavid Aspinall
2001-05-01Change link to register pageDavid Aspinall
2001-05-01Include php fileDavid Aspinall
2001-05-01Register and kit shortcutsDavid Aspinall
2001-05-01Link to php files instead of htmlDavid Aspinall
2001-05-01Include php instead of htmlDavid Aspinall
2001-05-01Rename some html files phpDavid Aspinall
2001-05-01Deleted files.David Aspinall
2001-04-10Modification of proof-script-command-end-regexp to allow commandsPierre Courtieu
2001-03-20Updated.David Aspinall
2001-03-20Updated.David Aspinall
2001-03-20Fixes to main pageDavid Aspinall
2001-03-20Change to my canonical www.dcs web addressDavid Aspinall
2001-03-20Remove proofgeneral.org on main pageDavid Aspinall
2001-03-20Updated.David Aspinall
2001-03-20Set version tag for new release.David Aspinall
2001-03-20strange buffer selection bug reported by MarkusDavid Aspinall
2001-03-20Updated magicDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-26 18:36:27 +0000