aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2004-04-17Escape the string from substitute-command-keys in proof-defshortcut, proof-de...David Aspinall
2004-04-17Comments.David Aspinall
2004-04-17Add proof-cannot-reopen-processed-files to fix behaviour of multiple files fo...David Aspinall
2004-04-17Updated.David Aspinall
2004-04-17Clear the stuff to do before 3.5David Aspinall
2004-04-17Add proof-cannot-reopen-processed-files to fix behaviour of multiple files fo...David Aspinall
2004-04-17imenu todoDavid Aspinall
2004-04-17Capitalization.David Aspinall
2004-04-17Mention supported Emacs versionsDavid Aspinall
2004-04-17Lighter background colour for proof-error-faceDavid Aspinall
2004-04-17Note about font-lock problem in XE 21.4.x x<11David Aspinall
2004-04-16Updated.David Aspinall
2004-04-16Add boundp check to proof-map-multiple-frame-specifiers, for some back compat...David Aspinall
2004-04-16New files.David Aspinall
2004-04-16Updated.David Aspinall
2004-04-16Fix my email addr.David Aspinall
2004-04-16Use own name instead of hiding behind mythical PG teamDavid Aspinall
2004-04-16Spurious "'sDavid Aspinall
2004-04-16Moved handling of mixed undo into the CCC, so there is now just one undo() cmd.cxl
2004-04-16fix typo in isar-long-id-stuffGerwin Klein
2004-04-16fix typo in isar-long-id-stuffGerwin Klein
2004-04-16ccc-count-undos: declare str (doesnae fix bug though)David Aspinall
2004-04-16little fix for x-symbols coq.Pierre Courtieu
2004-04-16Add FAQ about .elcs failing in GNU Emacs.David Aspinall
2004-04-16modified the noteq token (become '<>' ).Pierre Courtieu
2004-04-16Fix URLDavid Aspinall
2004-04-16Oops, another stray old URL...David Aspinall
2004-04-16added an example fils for coq x-symbols.Pierre Courtieu
2004-04-16Updated.David Aspinall
2004-04-16*** empty log message ***Christophe Raffalli
2004-04-16Set version tag for new release.David Aspinall
2004-04-16Updated.David Aspinall
2004-04-16New files.David Aspinall
2004-04-16New files.David Aspinall
2004-04-16New files.David Aspinall
2004-04-16New fileDavid Aspinall
2004-04-16Updated.David Aspinall
2004-04-16Updated.David Aspinall
2004-04-16Document Imenu/Speedbar. Update contributors.David Aspinall
2004-04-16Explain how to configure Imenu.David Aspinall
2004-04-16Add automatic refresh of Logics menuDavid Aspinall
2004-04-16Updated.David Aspinall
2004-04-15Updated.David Aspinall
2004-04-15Comments.David Aspinall
2004-04-15Comment out pg-customize-menu-createDavid Aspinall
2004-04-15Gerwins bug had snuck back in. Reenable customize menus for GNU EmacsDavid Aspinall
2004-04-15Change error face to firebrick (again)David Aspinall
2004-04-15Added some syntax stuff (highlight comments etc).cxl
2004-04-15Set version tag for new release.David Aspinall
2004-04-15Updated.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-10 20:39:23 +0000