aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2008-01-31Disable X-Symbol on emacs >= 23. Internal interfaces have changedDavid Aspinall
there for x-complement-fontset-spec. It may be possible to fix without much work, but isn't immediately obvious.
2008-01-31Added Assia's contribution to ssreflect mode for coq in CHANGES.Pierre Courtieu
2008-01-30Fix RCS tagsDavid Aspinall
2008-01-30New major version for pending release.David Aspinall
2008-01-30Remove more zipDavid Aspinall
2008-01-30Move to .tgzDavid Aspinall
2008-01-30Remove zip from distribution, only use tgzDavid Aspinall
2008-01-30Set version tag for new release.David Aspinall
2008-01-30Comment cleanups. buffer-substring -> buffer-substring-no-properties.David Aspinall
Make proof-shell-handle-output robust against START-REGEXP match fail (can happen if shell buffer is garbled/user-edited). Make proof-shell-insert robust against null STRING (should not happen; development artefact while getting rid of proof-no-command). Update date.
2008-01-30Update yearDavid Aspinall
2008-01-30coq : sorry, reverting previous buggy customizationAssia Mahboubi
2008-01-30Documentation.David Aspinall
2008-01-30Update magicDavid Aspinall
2008-01-30Clarify GE>=23 required for glyph rotation (decode 'ucs in fact).David Aspinall
2008-01-30New files.David Aspinall
2008-01-30Harmonise a bit more with X-Symbols. Add customization facilityDavid Aspinall
2008-01-30Support dynamically changing short-cut listDavid Aspinall
2008-01-30Add docstringsDavid Aspinall
2008-01-30PG taglineDavid Aspinall
2008-01-30Comment about maths menuDavid Aspinall
2008-01-30Comments re trac #187David Aspinall
2008-01-30Documentation.David Aspinall
2008-01-30Updated.David Aspinall
2008-01-30Update magicDavid Aspinall
2008-01-30Update credits and add section on Unicode supportDavid Aspinall
2008-01-30Load unicode-tokens.elDavid Aspinall
2008-01-30Update doc on token input method. Merge README.exper.David Aspinall
2008-01-30Added a boolean defcustom test to make optional the highlight of variablesAssia Mahboubi
2008-01-30coq : changing highlight of solve, adding ExportAssia Mahboubi
2008-01-30Disable experimental features, finally.David Aspinall
2008-01-30Deleted fileDavid Aspinall
2008-01-30Updated.David Aspinall
2008-01-30Deleted fileDavid Aspinall
2008-01-30Updated.David Aspinall
2008-01-29New files.David Aspinall
2008-01-29proof-interrupt-process: avoid effect of comint-skip-input (printing ↵David Aspinall
interrupt key).
2008-01-29Add buffer-substring-no-properties in case of older Emacs versionsDavid Aspinall
2008-01-29Updated.David Aspinall
2008-01-29buffer-substring -> buffer-substring-no-properties since we never use themDavid Aspinall
2008-01-29Set version tag for new release.David Aspinall
2008-01-29Revert previous change, does not help. Solve #184 by ignoring error in ↵David Aspinall
Makefile.
2008-01-29Ignore errors compiling maths-menu.el (for XEmacs 21.4)David Aspinall
2008-01-29Change characters in maths-menu-menu to strings, hoping to fix compileDavid Aspinall
problem with older XEmacs (Trac #184).
2008-01-29New files.David Aspinall
2008-01-29isar-undos: fix bug trac #189 introduced by attempt to remove proof-no-command.David Aspinall
2008-01-29Set proof-shell-trace-output-regexp early enough to have effect. Fixes trac ↵David Aspinall
#183, #186. See #190
2008-01-29Disable x-symbol-mac-setup2 for now until compile can be fixed.David Aspinall
2008-01-29Move proof-experimental-features back and make it constant.David Aspinall
2008-01-29Move proof-experimental-featuresDavid Aspinall
2008-01-29Updated.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-07-02 19:52:11 +0000