aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2004-03-11added proof-really-save-command-p to coq config, to deal with ProofPierre Courtieu
<term>. which is a save command (but not a save giving a name like Save id.).
2004-03-11bug fixes on indenting and command-end-regexp.Pierre Courtieu
2004-03-10fixed coq command-end expression-regexp to deal with the token '..'Pierre Courtieu
2004-03-10holes-short-doc now is in view-mode.Pierre Courtieu
2004-03-10dealing with compile warning for new "hole" code (end hopefully).Pierre Courtieu
2004-03-10modification to avoid compile warnings (end)Pierre Courtieu
+ some menu modifications
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
hole-get-selection defined as get-selection for xemacs, and x-get-selection for emacs.
2004-03-10compile warning correctionsPierre Courtieu
2004-03-10bug correctionsPierre Courtieu
2004-03-08indentation for coq completely re-coded, because the generic mechanismPierre Courtieu
does not use "proof-goal-command-p" and is not powerful enough.
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 ↵David Aspinall
fakerelease
2004-03-01Mention non-Mule XEmacs version probsDavid Aspinall
2004-03-01Mention new RPM packagesDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-13 20:33:04 +0000