aboutsummaryrefslogtreecommitdiffhomepage
path: root/CHANGES
Commit message (Expand)AuthorAge
...
* More fixes in coq indentation.Gravatar Pierre Courtieu2012-07-06
* Added some detail on the indentation limitation in the CHANGE.Gravatar Pierre Courtieu2012-01-18
* Fix typo, mention HOL LightGravatar David Aspinall2012-01-12
* Add link to Prooftree downloadGravatar David Aspinall2012-01-04
* update CHANGESGravatar Hendrik Tews2012-01-03
* Will release 4.2 next, after allGravatar David Aspinall2011-12-23
* - protect proof-shell-handle-delayed-output against the case whereGravatar Hendrik Tews2011-12-07
* Suggest PG 4.1.1 will be released nextGravatar David Aspinall2011-11-15
* Bump doc version numbers to 4.2pre.Gravatar David Aspinall2011-10-14
* coq-use-smie not enabled by defaultGravatar David Aspinall2011-06-22
* Ref to Coq chapter in PG manualGravatar David Aspinall2011-05-16
* Note recent changesGravatar David Aspinall2011-01-25
* Summary: New indentation code using SMIEGravatar Stefan Monnier2010-11-15
* Updated.Gravatar David Aspinall2010-11-03
* Update for config changes.Gravatar David Aspinall2010-10-13
* proof-use-parser-cache=t defaultGravatar David Aspinall2010-10-11
* 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
* 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
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-03 08:33:07 +0000