aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Adapted to late coq-8.4 new messages.Gravatar Pierre Courtieu2012-07-10
* Fixed incorrect syntax of previous commit.Gravatar Pierre Courtieu2012-07-10
* Made "printing all" queries smater in letting the prover in the sameGravatar Pierre Courtieu2012-07-10
* Fixing previous commit (Added completion to insert Require, based onGravatar Pierre Courtieu2012-07-09
* Added completion to insert Require, based on coq-load-path.Gravatar Pierre Courtieu2012-07-09
* updated CHANGES for Coq.Gravatar Pierre Courtieu2012-07-09
* Fixed a small bug in indentation + added new commands for queries withGravatar Pierre Courtieu2012-07-09
* Debugged coq indentation.Gravatar Pierre Courtieu2012-07-07
* More fixes in coq indentation (2).Gravatar Pierre Courtieu2012-07-06
* More fixes in coq indentation.Gravatar Pierre Courtieu2012-07-06
* Indentation debugging for coq.Gravatar Pierre Courtieu2012-07-05
* Code cleaning.Gravatar Pierre Courtieu2012-07-05
* Fixed some indentation details for Coq.Gravatar Pierre Courtieu2012-07-05
* Fixed a syntactic recognition function. Should Fix #2819.Gravatar Pierre Courtieu2012-07-05
* Fixed some indentation bugs.Gravatar Pierre Courtieu2012-07-03
* * generic/pg-user.el (which-func-modes): Fix compiler declaration.Gravatar Stefan Monnier2012-06-29
* Fixed some small bugs in coq indentation.Gravatar Pierre Courtieu2012-06-28
* Complete rework of the indentation mechanism using smie. The firstGravatar Pierre Courtieu2012-06-28
* Simplified file variables code.Gravatar Pierre Courtieu2012-06-19
* Completed documentation for file variables.Gravatar Pierre Courtieu2012-06-19
* Fix a bug in coq indet code when at the beginning of a buffer.Gravatar Pierre Courtieu2012-06-14
* Trying to minimize the slowness of indentation when no "Proof." isGravatar Pierre Courtieu2012-06-11
* Fixing indentation details for coq. All known bugs seems fixed.Gravatar Pierre Courtieu2012-06-10
* Fixing indentation details for coq.Gravatar Pierre Courtieu2012-06-10
* Still fixing indentation details for coq.Gravatar Pierre Courtieu2012-06-10
* Still fixing indentation (operator precedences) details for coq.Gravatar Pierre Courtieu2012-06-10
* Still fixing indentation details for coq.Gravatar Pierre Courtieu2012-06-10
* Made a small change in generic code about the setting ofGravatar Pierre Courtieu2012-06-09
* Summary: Handle the new t value of which-func-modes.Gravatar Stefan Monnier2012-06-08
* Indentation is a bit more accurate.Gravatar Pierre Courtieu2012-06-08
* Fix a bug of indentation in presence of comment. Probably due to a badGravatar Pierre Courtieu2012-06-07
* Fix indentation of dependent match clauses (as ... in ... return ...).Gravatar Pierre Courtieu2012-06-07
* Fixing a bug with the indentation of qualified names.Gravatar Pierre Courtieu2012-06-06
* Trying to fix some minor indentation bugs with infox operators.Gravatar Pierre Courtieu2012-06-06
* Set version tag for new release.Gravatar David Aspinall2012-06-05
* hide cursor in non-selected *goals* and *response* buffersGravatar Hendrik Tews2012-06-04
* One more fix for indentation.Gravatar Pierre Courtieu2012-06-04
* Fixing indentation (same bug than 2 previous commits). this time it seems ok.Gravatar Pierre Courtieu2012-06-04
* Fixing the last fix on indentation. Still not perfect.Gravatar Pierre Courtieu2012-06-04
* Fix a bug of indentation.Gravatar Pierre Courtieu2012-06-03
* let proof-retract-buffer only move point when called interactivelyGravatar Hendrik Tews2012-05-31
* Fix of a bug. coq id can start with underscore.Gravatar Pierre Courtieu2012-05-31
* - erase invalid coq-load-path entry format '("dir")Gravatar Hendrik Tews2012-05-29
* another hide additional subgoals fixGravatar Hendrik Tews2012-05-26
* kill windows showing response and goals buffers on proof-shell-exitGravatar Hendrik Tews2012-05-24
* fix "Hide Additional Subgoals" for coq 8.4betaGravatar Hendrik Tews2012-05-24
* fix typo + add one missing cvsignoreGravatar Hendrik Tews2012-05-09
* Use proof-add-to-load-path to extend load-path. This way,Gravatar Hendrik Tews2012-05-08
* Set version tag for new release.Gravatar David Aspinall2012-04-30
* Change default Unicode Tokens font back to DejaVU Sans, more reliable without...Gravatar David Aspinall2012-04-30
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 17:40:29 +0000