aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2008-02-04Comments.David Aspinall
2008-02-04Go back to isabellesym.sty as master symbol listDavid Aspinall
2008-02-03Add some error checking to `unicode-tokens-token-name-alist'David Aspinall
2008-02-03Attempt at Emacs 23 compatibility, not quite working.David Aspinall
2008-02-03Updated.David Aspinall
2008-02-03Deleted fileDavid Aspinall
2008-02-03Move to 3.7.1 pre-relDavid Aspinall
2008-02-01coq:cutomizable bound variable highlight (finally working)Assia Mahboubi
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-12 17:03:44 +0000