aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2004-04-18Comment about menu layout.David Aspinall
2004-04-18Comments.David Aspinall
2004-04-18Remove faulty compatiblity for XE 21.1David Aspinall
2004-04-17Set version tag for new release.David Aspinall
2004-04-17Tag for 3.5David Aspinall
2004-04-17Branch for 3.5 releaseDavid Aspinall
2004-04-17Branch for 3.5 releaseDavid Aspinall
2004-04-17Set version tag for new release.David Aspinall
2004-04-17Updated.David Aspinall
2004-04-17Updated magicDavid Aspinall
2004-04-17Updated.David Aspinall
2004-04-17Escape { and }David Aspinall
2004-04-17Add missing menu entry.David Aspinall
2004-04-17Set version tag for new release.David Aspinall
2004-04-17Updated.David Aspinall
2004-04-17Note about bad pgscripts editingDavid Aspinall
2004-04-17Updated.David Aspinall
2004-04-17Compiler warningsDavid Aspinall
2004-04-17Minor changes to avoid some compiler warningsDavid Aspinall
2004-04-17Fix bug in replace-in-string for GNU EmacsDavid Aspinall
2004-04-17Clean up, re-order, change priorities, remove done things.David Aspinall
2004-04-17Clarify that it is right to query saves in proof-retract-until-point's callDavid Aspinall
2004-04-17Updated.David Aspinall
2004-04-17Comments.David Aspinall
2004-04-17Fix isa-tool-list-docs for altered form of output from isatool docDavid Aspinall
2004-04-17Update magicDavid Aspinall
2004-04-17Update dates, update magic, doc proof-cannot-reopen-processed-files.David Aspinall
2004-04-17Numerous updates and improvements:David Aspinall
2004-04-17Add shortcuts for new X-Symbol sequences.David Aspinall
2004-04-17Oops, remove junk.David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-04 06:19:18 +0000