aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Set version tag for new release.Gravatar David Aspinall2008-07-24
* Load proof-autoloads earlierGravatar David Aspinall2008-07-24
* Set version tag for new release.Gravatar David Aspinall2008-07-23
* Set version tag for new release.Gravatar David Aspinall2008-07-22
* proof-ids-to-regexp: Use word-symbol constituent match \_< \_> in GNU Emacs,Gravatar David Aspinall2008-07-21
* Changed the main menu of coq. Changed a shortcut for holes.Gravatar Pierre Courtieu2008-07-21
* Default proof-allow-undo-in-read-only to tGravatar David Aspinall2008-07-21
* Set version tag for new release.Gravatar David Aspinall2008-07-19
* Set version tag for new release.Gravatar David Aspinall2008-07-17
* Remove mention of unicode-tokens2Gravatar David Aspinall2008-07-16
* Deleted fileGravatar David Aspinall2008-07-16
* Set version tag for new release.Gravatar David Aspinall2008-07-12
* Updated.Gravatar David Aspinall2008-07-12
* Disable Unicode Tokens 2Gravatar David Aspinall2008-07-10
* Documentation.Gravatar David Aspinall2008-07-10
* Set version tag for new release.Gravatar David Aspinall2008-07-10
* Minimal patch for Sledgehammer problem with Isabelle.Gravatar David Aspinall2008-07-10
* Reverse 8.28, buffer-substring-no-properties -> buffer-substring.Gravatar David Aspinall2008-07-10
* Fix for GNU Emacs 23 tool bar, set image-load-path persistently. NB: may cau...Gravatar David Aspinall2008-07-09
* Set version tag for new release.Gravatar David Aspinall2008-07-08
* Set version tag for new release.Gravatar David Aspinall2008-07-07
* Set version tag for new release.Gravatar David Aspinall2008-07-06
* Set version tag for new release.Gravatar David Aspinall2008-07-05
* Clarify unimplemented settingsGravatar David Aspinall2008-07-05
* Add use-holes setting.Gravatar David Aspinall2008-07-05
* Revert cursor hide in goals and response to avoid user confusion; use bar cur...Gravatar David Aspinall2008-07-05
* TEMPORARY: add unicode-tokens2 mechanism to test across different machinesGravatar David Aspinall2008-07-05
* Set version tag for new release.Gravatar David Aspinall2008-05-26
* Set version tag for new release.Gravatar David Aspinall2008-02-17
* Symmetric change for #201Gravatar David Aspinall2008-02-17
* Comments.Gravatar David Aspinall2008-02-17
* Fix clash with X-Symbol resulting in enabling then disabling symbolsGravatar David Aspinall2008-02-17
* unicode-tokens: Experimental multiple font supportGravatar David Aspinall2008-02-17
* Unicode tokens: support face changing via 'font-lock-face'Gravatar David Aspinall2008-02-09
* Set version tag for new release.Gravatar David Aspinall2008-02-06
* Updated.Gravatar David Aspinall2008-02-06
* proof-unicode-tokens-set-global: call proof-unicode-tokens-init.Gravatar David Aspinall2008-02-06
* proof-quick-opts-vars: add <PA>-unicode-tokens-enableGravatar David Aspinall2008-02-06
* Use proof-auxmodes to load auxiliary modes properly when required.Gravatar David Aspinall2008-02-06
* New files.Gravatar David Aspinall2008-02-06
* proof-ready-for-assistant: Only make ready for assistant once(!)Gravatar David Aspinall2008-02-06
* Further configuration settingsGravatar David Aspinall2008-02-04
* Set version tag for new release.Gravatar David Aspinall2008-01-31
* Add another window system: w32 for win 32.Gravatar David Aspinall2008-01-31
* comment: proof-compat not needed for pg-defface-window-systems (but leave in ...Gravatar David Aspinall2008-01-31
* Make mouse 1 binding compatible also with XEmacs.Gravatar David Aspinall2008-01-31
* Sendback commands from response buffer sent via assert-until-point, with ordi...Gravatar David Aspinall2008-01-31
* More apparent decoration for active (sendback) areasGravatar David Aspinall2008-01-31
* Sendback commands from response buffer sent via assert-until-point, with ordi...Gravatar David Aspinall2008-01-31
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 12:31:28 +0000