aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Updated.Gravatar David Aspinall2008-01-31
* Fix dateGravatar David Aspinall2008-01-31
* Update note re Carbon EmacsGravatar David Aspinall2008-01-31
* Remove CVS merge junk!Gravatar David Aspinall2008-01-31
* Updated.Gravatar David Aspinall2008-01-31
* Make mouse 1 binding compatible also with XEmacs.Gravatar David Aspinall2008-01-31
* Sendback commands from response buffer sent via assert-until-point, with ordi...Gravatar David Aspinall2008-01-31
* Add nomodify argument to set-buffer-file-coding-system call, toGravatar David Aspinall2008-01-31
* Expand info on X-Symbol MacGravatar David Aspinall2008-01-31
* Credit Mitsuharu Yamamoto.Gravatar David Aspinall2008-01-31
* More apparent decoration for active (sendback) areasGravatar David Aspinall2008-01-31
* Sendback commands from response buffer sent via assert-until-point, with ordi...Gravatar David Aspinall2008-01-31
* Remove semi-colons. Literal commands triggered in response bufferGravatar David Aspinall2008-01-31
* Add a mouse-1 binding for active areas in goals/response output.Gravatar David Aspinall2008-01-31
* updated CHANGESGravatar Assia Mahboubi2008-01-31
* Set version tag for new release.Gravatar David Aspinall2008-01-31
* Updated.Gravatar David Aspinall2008-01-31
* Comments.Gravatar David Aspinall2008-01-31
* Updated.Gravatar David Aspinall2008-01-31
* Remove duplicate default target. Add doc for EMACS setting egs.Gravatar David Aspinall2008-01-31
* Move version check in case proof-site.el is loaded, not proof-site.elcGravatar David Aspinall2008-01-31
* Say "Partial" for this X-Symbol supportGravatar David Aspinall2008-01-31
* Mention X-Symbol on native MacGravatar David Aspinall2008-01-31
* Fix compile problem in x-symbol-mac-setup2Gravatar David Aspinall2008-01-31
* Note about instructions on X-Symb for MacGravatar David Aspinall2008-01-31
* Instructions on X-Symb for MacGravatar David Aspinall2008-01-31
* Note about isaxsymb1.ttfGravatar David Aspinall2008-01-31
* Disable X-Symbol on emacs >= 23. Internal interfaces have changedGravatar David Aspinall2008-01-31
* Added Assia's contribution to ssreflect mode for coq in CHANGES.Gravatar Pierre Courtieu2008-01-31
* Fix RCS tagsGravatar David Aspinall2008-01-30
* New major version for pending release.Gravatar David Aspinall2008-01-30
* Remove more zipGravatar David Aspinall2008-01-30
* Move to .tgzGravatar David Aspinall2008-01-30
* Remove zip from distribution, only use tgzGravatar David Aspinall2008-01-30
* Set version tag for new release.Gravatar David Aspinall2008-01-30
* Comment cleanups. buffer-substring -> buffer-substring-no-properties.Gravatar David Aspinall2008-01-30
* Update yearGravatar David Aspinall2008-01-30
* coq : sorry, reverting previous buggy customizationGravatar Assia Mahboubi2008-01-30
* Documentation.Gravatar David Aspinall2008-01-30
* Update magicGravatar David Aspinall2008-01-30
* Clarify GE>=23 required for glyph rotation (decode 'ucs in fact).Gravatar David Aspinall2008-01-30
* New files.Gravatar David Aspinall2008-01-30
* Harmonise a bit more with X-Symbols. Add customization facilityGravatar David Aspinall2008-01-30
* Support dynamically changing short-cut listGravatar David Aspinall2008-01-30
* Add docstringsGravatar David Aspinall2008-01-30
* PG taglineGravatar David Aspinall2008-01-30
* Comment about maths menuGravatar David Aspinall2008-01-30
* Comments re trac #187Gravatar David Aspinall2008-01-30
* Documentation.Gravatar David Aspinall2008-01-30
* Updated.Gravatar David Aspinall2008-01-30
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 14:21:16 +0000