aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2008-01-31Updated.David Aspinall
2008-01-31Updated.David Aspinall
2008-01-31Updated.David Aspinall
2008-01-31Updated.David Aspinall
2008-01-31Update maintainers to add back the key person, 8-).David Aspinall
2008-01-31Update versions here.David Aspinall
2008-01-31Set version tag for new release.David Aspinall
2008-01-31Updated.David Aspinall
2008-01-31Add another window system: w32 for win 32.David Aspinall
2008-01-31comment: proof-compat not needed for pg-defface-window-systems (but leave in ...David Aspinall
2008-01-31Revert last change, shell-command-to-string gives error when calledDavid Aspinall
2008-01-31Use coq-prog-name when looking for library, not hard coded coqtopDavid Aspinall
2008-01-31Use proof-locate-executable so works out-of-the-box on Windows.David Aspinall
2008-01-31Updated.David Aspinall
2008-01-31Fix dateDavid Aspinall
2008-01-31Update note re Carbon EmacsDavid Aspinall
2008-01-31Remove CVS merge junk!David Aspinall
2008-01-31Updated.David Aspinall
2008-01-31Make mouse 1 binding compatible also with XEmacs.David Aspinall
2008-01-31Sendback commands from response buffer sent via assert-until-point, with ordi...David Aspinall
2008-01-31Add nomodify argument to set-buffer-file-coding-system call, toDavid Aspinall
2008-01-31Expand info on X-Symbol MacDavid Aspinall
2008-01-31Credit Mitsuharu Yamamoto.David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-08 15:13:41 +0000