aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2008-01-31More apparent decoration for active (sendback) areasDavid Aspinall
2008-01-31Sendback commands from response buffer sent via assert-until-point, with ordi...David Aspinall
2008-01-31Remove semi-colons. Literal commands triggered in response bufferDavid Aspinall
2008-01-31Add a mouse-1 binding for active areas in goals/response output.David Aspinall
2008-01-31updated CHANGESAssia Mahboubi
2008-01-31Set version tag for new release.David Aspinall
2008-01-31Updated.David Aspinall
2008-01-31Comments.David Aspinall
2008-01-31Updated.David Aspinall
2008-01-31Remove duplicate default target. Add doc for EMACS setting egs.David Aspinall
2008-01-31Move version check in case proof-site.el is loaded, not proof-site.elcDavid Aspinall
2008-01-31Say "Partial" for this X-Symbol supportDavid Aspinall
2008-01-31Mention X-Symbol on native MacDavid Aspinall
2008-01-31Fix compile problem in x-symbol-mac-setup2David Aspinall
2008-01-31Note about instructions on X-Symb for MacDavid Aspinall
2008-01-31Instructions on X-Symb for MacDavid Aspinall
2008-01-31Note about isaxsymb1.ttfDavid Aspinall
2008-01-31Disable X-Symbol on emacs >= 23. Internal interfaces have changedDavid Aspinall
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
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-09 13:04:52 +0000