aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Collapse)Author
2008-08-03Change for locked face colourDavid Aspinall
2008-07-24Fix for deferred loading of maths menu.David Aspinall
2008-07-24Fix for deferred loading of maths menu and unicode tokens.David Aspinall
2008-07-24Add back lost provideDavid Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-07-24Set version tag for new release.David Aspinall
2008-07-24Load proof-autoloads earlierDavid Aspinall
2008-07-23Set version tag for new release.David Aspinall
2008-07-22Set version tag for new release.David Aspinall
2008-07-21proof-ids-to-regexp: Use word-symbol constituent match \_< \_> in GNU Emacs,David Aspinall
with improvement due to Stefan Monnier. No change for XEmacs.
2008-07-21Changed the main menu of coq. Changed a shortcut for holes.Pierre Courtieu
2008-07-21Default proof-allow-undo-in-read-only to tDavid Aspinall
2008-07-19Set version tag for new release.David Aspinall
2008-07-17Set version tag for new release.David Aspinall
2008-07-16Remove mention of unicode-tokens2David Aspinall
2008-07-16Deleted fileDavid Aspinall
2008-07-12Set version tag for new release.David Aspinall
2008-07-12Updated.David Aspinall
2008-07-10Disable Unicode Tokens 2David Aspinall
2008-07-10Documentation.David Aspinall
2008-07-10Set version tag for new release.David Aspinall
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)
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-03 01:09:48 +0000