aboutsummaryrefslogtreecommitdiffhomepage
path: root/CHANGES
Commit message (Collapse)AuthorAge
* Clarify Emacs 22 versionGravatar David Aspinall2010-10-10
|
* Support Emacs 23.1+ only.Gravatar David Aspinall2010-10-10
|
* Document query identifierGravatar David Aspinall2010-10-01
|
* proof-script-command-separator: removed (always a space)Gravatar David Aspinall2010-10-01
|
* Add Document Centred command. Adjust for new menu layout.Gravatar David Aspinall2010-09-21
|
* Fixed the cleaning of goals buffer when proof completedGravatar Pierre Courtieu2010-09-09
| | | | + fixed the refreshing of modeline goal number display.
* filled CHANGES a bit more precisely.Gravatar Pierre Courtieu2010-09-09
|
* Fixed small bugs in indentation.Gravatar Pierre Courtieu2010-09-09
|
* Fixed bug #346. Coq code was using proof-ids-to-regexp on regexpGravatar Pierre Courtieu2010-09-01
| | | | instead of pure strings.
* UpdatedGravatar David Aspinall2010-08-27
|
* Mention Fast Process BufferGravatar David Aspinall2010-08-20
|
* Update.Gravatar David Aspinall2010-08-15
|
* pg-protected-undo changeGravatar David Aspinall2010-08-03
|
* Updated.Gravatar David Aspinall2010-08-03
|
* UpdatedGravatar David Aspinall2009-12-04
|
* UpdatedGravatar David Aspinall2009-10-15
|
* Explain Unicode Tokens betterGravatar David Aspinall2009-10-02
|
* UpdatedGravatar David Aspinall2009-09-14
|
* Elaborate on new settingsGravatar David Aspinall2009-09-11
|
* *** empty log message ***Gravatar David Aspinall2009-09-09
|
* *** empty log message ***Gravatar David Aspinall2009-09-09
|
* Updated.Gravatar David Aspinall2009-09-08
|
* Update, remove proof-shell-abort-goal-regexpGravatar David Aspinall2009-09-08
|
* UpdatedGravatar David Aspinall2009-09-06
|
* Remove use-specials-for-fontifyGravatar David Aspinall2009-09-06
|
* Update.Gravatar David Aspinall2009-09-06
|
* UpdatedGravatar David Aspinall2009-09-05
|
* UpdatedGravatar David Aspinall2009-09-04
|
* UpdatesGravatar David Aspinall2009-09-01
|
* Change centric->centredGravatar David Aspinall2009-08-13
|
* UpdateGravatar David Aspinall2009-08-07
|
* Add proof state hover messages to proof script, along with useful customization.Gravatar David Aspinall2009-05-26
|
* UpdatedGravatar David Aspinall2009-05-26
|
* UpdatedGravatar David Aspinall2009-05-26
|
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
|
* Updated.Gravatar David Aspinall2008-07-12
|
* Updated.Gravatar David Aspinall2008-07-10
|
* Fixed error highlighting for coq + utf-8. WORKS FOR EMACS-SNAPSHOT BUTGravatar Pierre Courtieu2008-06-06
| | | | NOT FOR EMACS22. As byte position is buggy in emacs22.
* Updated.Gravatar David Aspinall2008-02-17
|
* Updated.Gravatar David Aspinall2008-02-06
|
* Updated.Gravatar David Aspinall2008-02-03
|
* Updated.Gravatar David Aspinall2008-01-31
|
* Expand info on X-Symbol MacGravatar David Aspinall2008-01-31
|
* updated CHANGESGravatar Assia Mahboubi2008-01-31
| | | | added an example file in coq/
* Say "Partial" for this X-Symbol supportGravatar David Aspinall2008-01-31
|
* Mention X-Symbol on native MacGravatar David Aspinall2008-01-31
|
* Added Assia's contribution to ssreflect mode for coq in CHANGES.Gravatar Pierre Courtieu2008-01-31
|
* Updated.Gravatar David Aspinall2008-01-30
|
* Update doc on token input method. Merge README.exper.Gravatar David Aspinall2008-01-30
|
* Comment location for tokens/maths menu.Gravatar David Aspinall2008-01-29
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-20 14:51:42 +0000