aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2008-02-04Disable warnings.David Aspinall
2008-02-04Support Isabelle control sequences for subscripts/superscriptsDavid Aspinall
2008-02-04Further configuration settingsDavid Aspinall
2008-02-04Add mode documentationDavid Aspinall
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
Really we should use default here to get rid of this list.
2008-01-31comment: proof-compat not needed for pg-defface-window-systems (but leave in ↵David Aspinall
now)
2008-01-31Revert last change, shell-command-to-string gives error when calledDavid Aspinall
with c:\Program Files\blah due to space in filename. Code here needs reworking more heavily for out-of-the-box Windows working.
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 ↵David Aspinall
ordinary span construction.
2008-01-31Add nomodify argument to set-buffer-file-coding-system call, toDavid Aspinall
prevent buffer modification when switching X-Symbol on (seen on Carbon Emacs 22.1.50.1)
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 ↵David Aspinall
ordinary span construction.
2008-01-31Remove semi-colons. Literal commands triggered in response bufferDavid Aspinall
are now sent individually. Should be compatible with original PBP behaviour which worked from goals buffer (and is anyway no longer used).
2008-01-31Add a mouse-1 binding for active areas in goals/response output.David Aspinall
2008-01-31updated CHANGESAssia Mahboubi
added an example file in coq/
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-09-02 18:15:39 +0000