aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2004-03-02Fix domain.David Aspinall
2004-03-02Purge proofgeneral.orgDavid Aspinall
2004-03-02Switch ?\ -> ?\040 (Joe Corneli reports problem with CVS GNU Emacs)David Aspinall
2004-03-01Fix compiler warningsDavid Aspinall
2004-03-01Remove non-existent proof-state-command settingDavid Aspinall
2004-03-01remove spurious (interactive)David Aspinall
2004-03-01Cleanup top-level forms (unused x binding)David Aspinall
2004-03-01setq-default -> defconst for module-kinds-tableDavid Aspinall
2004-03-01Fix V7.4 -> V74David Aspinall
2004-03-01Updated.David Aspinall
2004-03-01Fix default locationDavid Aspinall
2004-03-01Fix cleanpgscriptsDavid Aspinall
2004-03-01Set to wroking defaultDavid Aspinall
2004-03-01Fix Emacs icon name clash problemDavid Aspinall
2004-03-01Fix to relative path againDavid Aspinall
2004-03-01Pass unrecognized options to EmacsDavid Aspinall
2004-03-01Doc unrecognized option behaviourDavid Aspinall
2004-03-01Renamed fileDavid Aspinall
2004-03-01Renamed filesDavid Aspinall
2004-03-01Renamed fileDavid Aspinall
2004-03-01Renamed fileDavid Aspinall
2004-03-01Fix buglets shown up by byte compilation.David Aspinall
2004-03-01Comment.David Aspinall
2004-03-01Fix/simplify documentation.David Aspinall
2004-03-01Comment.David Aspinall
2004-03-01Set version tag for new release.David Aspinall
2004-03-01Tweak desktop integration; add application-registry.David Aspinall
2004-03-01New fileDavid Aspinall
2004-03-01Simplify make callDavid Aspinall
2004-03-01Better titleDavid Aspinall
2004-03-01Tweaks to building tar file to include correct files. Remove golive from fak...David Aspinall
2004-03-01Mention non-Mule XEmacs version probsDavid Aspinall
2004-03-01Mention new RPM packagesDavid Aspinall
2004-03-01fix syntaxDavid Aspinall
2004-03-01FixDavid Aspinall
2004-03-01Bug in thy-add-menus declarationDavid Aspinall
2004-03-01Update to mention multiple packages, etc.David Aspinall
2004-02-29Add emacs-elc and xemacs-elc sub-packages.David Aspinall
2004-02-29Add -q to stop site packages loading during compileDavid Aspinall
2004-02-29Beginnings of parsescript supportDavid Aspinall
2004-02-29Tweak text. Allow choice of Emacs versions, and to work if PG already loaded.David Aspinall
2004-02-29Add man page, remove ps file from distrib.David Aspinall
2004-02-29Updated.David Aspinall
2004-02-29Update.David Aspinall
2004-02-29Update web addrDavid Aspinall
2004-02-29New files.David Aspinall
2004-02-29Renamed fileDavid Aspinall
2004-02-29Test cases for Coq indentation.David Aspinall
2004-02-29Tweaks for install, compiling x-symbol, etcDavid Aspinall
2004-02-29Add -no-site-file to batch xemacs.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-18 23:23:18 +0000