aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2004-03-10modification to avoid compile warnings (end)Pierre Courtieu
2004-03-10slight modif of holes short doc.Pierre Courtieu
2004-03-10added a menu for hole operationsPierre Courtieu
2004-03-10x-get-selection is obsolete for xemacs, made a macroPierre Courtieu
2004-03-10compile warning correctionsPierre Courtieu
2004-03-10bug correctionsPierre Courtieu
2004-03-08indentation for coq completely re-coded, because the generic mechanismPierre Courtieu
2004-03-03Updated.David Aspinall
2004-03-02Fix info installDavid Aspinall
2004-03-02Oops. Fix DEST_PREFIX mistake in paths.David Aspinall
2004-03-02Set version tag for new release.David Aspinall
2004-03-02Fix a few compiler warningsDavid Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-19 09:08:12 +0000