aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Collapse)AuthorAge
* comment: proof-compat not needed for pg-defface-window-systems (but leave in ↵Gravatar David Aspinall2008-01-31
| | | | now)
* Revert last change, shell-command-to-string gives error when calledGravatar David Aspinall2008-01-31
| | | | | with c:\Program Files\blah due to space in filename. Code here needs reworking more heavily for out-of-the-box Windows working.
* Use coq-prog-name when looking for library, not hard coded coqtopGravatar David Aspinall2008-01-31
|
* Use proof-locate-executable so works out-of-the-box on Windows.Gravatar David Aspinall2008-01-31
|
* Updated.Gravatar David Aspinall2008-01-31
|
* Fix dateGravatar David Aspinall2008-01-31
|
* Update note re Carbon EmacsGravatar David Aspinall2008-01-31
|
* Remove CVS merge junk!Gravatar David Aspinall2008-01-31
|
* Updated.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 ↵Gravatar David Aspinall2008-01-31
| | | | ordinary span construction.
* Add nomodify argument to set-buffer-file-coding-system call, toGravatar David Aspinall2008-01-31
| | | | | prevent buffer modification when switching X-Symbol on (seen on Carbon Emacs 22.1.50.1)
* Expand info on X-Symbol MacGravatar David Aspinall2008-01-31
|
* Credit Mitsuharu Yamamoto.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 ↵Gravatar David Aspinall2008-01-31
| | | | ordinary span construction.
* Remove semi-colons. Literal commands triggered in response bufferGravatar David Aspinall2008-01-31
| | | | | are now sent individually. Should be compatible with original PBP behaviour which worked from goals buffer (and is anyway no longer used).
* Add a mouse-1 binding for active areas in goals/response output.Gravatar David Aspinall2008-01-31
|
* updated CHANGESGravatar Assia Mahboubi2008-01-31
| | | | added an example file in coq/
* Set version tag for new release.Gravatar David Aspinall2008-01-31
|
* Updated.Gravatar David Aspinall2008-01-31
|
* Comments.Gravatar David Aspinall2008-01-31
|
* Updated.Gravatar David Aspinall2008-01-31
|
* Remove duplicate default target. Add doc for EMACS setting egs.Gravatar David Aspinall2008-01-31
|
* Move version check in case proof-site.el is loaded, not proof-site.elcGravatar David Aspinall2008-01-31
|
* Say "Partial" for this X-Symbol supportGravatar David Aspinall2008-01-31
|
* Mention X-Symbol on native MacGravatar David Aspinall2008-01-31
|
* Fix compile problem in x-symbol-mac-setup2Gravatar David Aspinall2008-01-31
|
* Note about instructions on X-Symb for MacGravatar David Aspinall2008-01-31
|
* Instructions on X-Symb for MacGravatar David Aspinall2008-01-31
|
* Note about isaxsymb1.ttfGravatar David Aspinall2008-01-31
|
* Disable X-Symbol on emacs >= 23. Internal interfaces have changedGravatar David Aspinall2008-01-31
| | | | | there for x-complement-fontset-spec. It may be possible to fix without much work, but isn't immediately obvious.
* Added Assia's contribution to ssreflect mode for coq in CHANGES.Gravatar Pierre Courtieu2008-01-31
|
* Fix RCS tagsGravatar David Aspinall2008-01-30
|
* New major version for pending release.Gravatar David Aspinall2008-01-30
|
* Remove more zipGravatar David Aspinall2008-01-30
|
* Move to .tgzGravatar David Aspinall2008-01-30
|
* Remove zip from distribution, only use tgzGravatar David Aspinall2008-01-30
|
* Set version tag for new release.Gravatar David Aspinall2008-01-30
|
* Comment cleanups. buffer-substring -> buffer-substring-no-properties.Gravatar David Aspinall2008-01-30
| | | | | | | | 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.
* Update yearGravatar David Aspinall2008-01-30
|
* coq : sorry, reverting previous buggy customizationGravatar Assia Mahboubi2008-01-30
|
* Documentation.Gravatar David Aspinall2008-01-30
|
* Update magicGravatar David Aspinall2008-01-30
|
* Clarify GE>=23 required for glyph rotation (decode 'ucs in fact).Gravatar David Aspinall2008-01-30
|
* New files.Gravatar David Aspinall2008-01-30
|
* Harmonise a bit more with X-Symbols. Add customization facilityGravatar David Aspinall2008-01-30
|
* Support dynamically changing short-cut listGravatar David Aspinall2008-01-30
|
* Add docstringsGravatar David Aspinall2008-01-30
|
* PG taglineGravatar David Aspinall2008-01-30
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 10:56:50 +0000