aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Collapse)Author
2008-07-10Minimal patch for Sledgehammer problem with Isabelle.David Aspinall
Credit due to Makarius. Tested *very briefly* with Coq. See http://proofgeneral.inf.ed.ac.uk/trac/ticket/200
2008-07-10Reverse 8.28, buffer-substring-no-properties -> buffer-substring.David Aspinall
This fixes Unicode Tokens handling of sub/super scripts, etc. See http://proofgeneral.inf.ed.ac.uk/trac/ticket/214 Thanks to Simon Winwood for identifying failure point.
2008-07-09Fix for GNU Emacs 23 tool bar, set image-load-path persistently. NB: may ↵David Aspinall
cause breakage on older Emacs (tested on 22.2).
2008-07-08Set version tag for new release.David Aspinall
2008-07-07Set version tag for new release.David Aspinall
2008-07-06Set version tag for new release.David Aspinall
2008-07-05Set version tag for new release.David Aspinall
2008-07-05Clarify unimplemented settingsDavid Aspinall
2008-07-05Add use-holes setting.David Aspinall
2008-07-05Revert cursor hide in goals and response to avoid user confusion; use bar ↵David Aspinall
cursor.
2008-07-05TEMPORARY: add unicode-tokens2 mechanism to test across different machinesDavid Aspinall
2008-05-26Set version tag for new release.David Aspinall
2008-02-17Set version tag for new release.David Aspinall
2008-02-17Symmetric change for #201David Aspinall
2008-02-17Comments.David Aspinall
2008-02-17Fix clash with X-Symbol resulting in enabling then disabling symbolsDavid Aspinall
2008-02-17unicode-tokens: Experimental multiple font supportDavid Aspinall
2008-02-09Unicode tokens: support face changing via 'font-lock-face'David Aspinall
2008-02-06Set version tag for new release.David Aspinall
2008-02-06Updated.David Aspinall
2008-02-06proof-unicode-tokens-set-global: call proof-unicode-tokens-init.David Aspinall
2008-02-06proof-quick-opts-vars: add <PA>-unicode-tokens-enableDavid Aspinall
2008-02-06Use proof-auxmodes to load auxiliary modes properly when required.David Aspinall
2008-02-06New files.David Aspinall
2008-02-06proof-ready-for-assistant: Only make ready for assistant once(!)David Aspinall
2008-02-04Further configuration settingsDavid Aspinall
2008-01-31Set version tag for new release.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-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-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-31Add a mouse-1 binding for active areas in goals/response output.David Aspinall
2008-01-31Set version tag for new release.David Aspinall
2008-01-31Comments.David Aspinall
2008-01-31Move version check in case proof-site.el is loaded, not proof-site.elcDavid Aspinall
2008-01-31Disable X-Symbol on emacs >= 23. Internal interfaces have changedDavid Aspinall
there for x-complement-fontset-spec. It may be possible to fix without much work, but isn't immediately obvious.
2008-01-30Fix RCS tagsDavid Aspinall
2008-01-30Set version tag for new release.David Aspinall
2008-01-30Comment cleanups. buffer-substring -> buffer-substring-no-properties.David Aspinall
Make proof-shell-handle-output robust against START-REGEXP match fail (can happen if shell buffer is garbled/user-edited). Make proof-shell-insert robust against null STRING (should not happen; development artefact while getting rid of proof-no-command). Update date.
2008-01-30Update yearDavid Aspinall
2008-01-30Support dynamically changing short-cut listDavid Aspinall
2008-01-30Comments re trac #187David Aspinall
2008-01-30Documentation.David Aspinall
2008-01-30Disable experimental features, finally.David Aspinall
2008-01-30Deleted fileDavid Aspinall
2008-01-29proof-interrupt-process: avoid effect of comint-skip-input (printing ↵David Aspinall
interrupt key).
2008-01-29buffer-substring -> buffer-substring-no-properties since we never use themDavid Aspinall
2008-01-29Set version tag for new release.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-06-27 00:18:12 +0000