aboutsummaryrefslogtreecommitdiffhomepage
path: root/CHANGES
Commit message (Expand)AuthorAge
* updating CHANGES to the last commit.Gravatar Pierre Courtieu2016-03-21
* Cleaning CHANGES.Gravatar Pierre Courtieu2016-01-19
* updating CHANGESGravatar Pierre Courtieu2016-01-06
* Updated the CHANGES files, mainly git url.Gravatar Pierre Courtieu2015-11-30
* proof-assert-command-hook added + Auto adjust width in coq mode.Gravatar Pierre Courtieu2015-10-12
* Update to CHANGE.Gravatar Pierre Courtieu2015-06-23
* A command to set coq printing width smartly.Gravatar Pierre Courtieu2015-03-26
* Added a command to send Queries to coq, with completion (C-c C-a C-q).Gravatar Pierre Courtieu2015-03-13
* Added bug fixes in CHANGES.Gravatar Pierre Courtieu2015-03-09
* Fixed stuff in CHANGES.Gravatar Pierre Courtieu2015-03-05
* Customization variables for modules, section and proof indentation.Gravatar Pierre Courtieu2015-03-05
* Fixed compilation issue with previous commit + CHANGE updates.Gravatar Pierre Courtieu2015-03-04
* coloring names in resposne and goalsGravatar Pierre Courtieu2015-02-03
* Fixed a bug in script navigation. Updated CHANGEGravatar Pierre Courtieu2015-01-27
* changed default indentation of match's cases.Gravatar Pierre Courtieu2015-01-14
* Removing non-smie indentation + fix CHANGES.Gravatar Pierre Courtieu2015-01-09
* trying to indent pending forall in the expected wayGravatar Pierre Courtieu2015-01-05
* Supporting more bullets (coq 8.5), like ++ or ++++.Gravatar Pierre Courtieu2014-12-23
* * coq-smie.el (coq-smie-.-deambiguate): Proofs don't start with a definition.Gravatar Stefan Monnier2014-06-04
* Fixing undeclared variables for compilation.Gravatar Pierre Courtieu2013-07-04
* Added an entry to CHANGEs about coq project fields.Gravatar Pierre Courtieu2013-06-21
* - implement proof-script insertionGravatar Hendrik Tews2013-01-21
* document latest changesGravatar Hendrik Tews2013-01-17
* - support bullets and braces in ProoftreeGravatar Hendrik Tews2013-01-15
* write CHANGESGravatar Hendrik Tews2012-11-15
* Updates for PG 4.3Gravatar David Aspinall2012-10-19
* Fixed a bug in three windows mode.Gravatar Pierre Courtieu2012-09-25
* Added one point + details to CHANGES.Gravatar Pierre Courtieu2012-09-07
* Fixed double hit terminator. Now it is disabled by default, andGravatar Pierre Courtieu2012-09-05
* Add user option proof-next-command-insert-space.Gravatar David Aspinall2012-08-14
* Fixing compilation. Still need to verify some smie stuff on different version...Gravatar Pierre Courtieu2012-07-24
* Added completion to insert Require, based on coq-load-path.Gravatar Pierre Courtieu2012-07-09
* updated CHANGES for Coq.Gravatar Pierre Courtieu2012-07-09
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-28 11:46:23 +0000