aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq
Commit message (Expand)AuthorAge
* Cleaning some code.Gravatar Pierre Courtieu2012-02-01
* Quick fix of a regression introduced by my last commit. Looking for aGravatar Pierre Courtieu2012-02-01
* Fixed command end recognition in presence of operators of the form .+Gravatar Pierre Courtieu2012-02-01
* Fixed a small bug in indentation (ter repetita). Bullets are indentedGravatar Pierre Courtieu2012-01-18
* Fixed a small bug in indentation (bis repetita).Gravatar Pierre Courtieu2012-01-18
* Fixed a small bug in indentation.Gravatar Pierre Courtieu2012-01-18
* Support proof-shell-interactive-prompt-regexp, ref Trac #430Gravatar David Aspinall2012-01-10
* proof-shell-start-goals-regexp: shy match to avoid introducing match groupGravatar David Aspinall2012-01-09
* * fix case where some existential is instantiated with the last proof commandGravatar Hendrik Tews2012-01-04
* hide the dependent evars lineGravatar Hendrik Tews2012-01-03
* merge ProofTreeBranch into main trunk:Gravatar Hendrik Tews2012-01-03
* Extra testGravatar David Aspinall2011-12-27
* TypoGravatar David Aspinall2011-12-27
* Fixed some regexp. One for goal closing detection and one forGravatar Pierre Courtieu2011-12-16
* Adapting coq syntax recognition to the future v8.4 behavior of bulletsGravatar Pierre Courtieu2011-12-16
* - protect proof-shell-handle-delayed-output against the case whereGravatar Hendrik Tews2011-12-07
* ensure optim-resp-window does not change the current bufferGravatar Hendrik Tews2011-12-06
* Applied a patch from Tom Prince which makesGravatar Pierre Courtieu2011-12-05
* Quick stab at support for switching to proof shell when interactive support e...Gravatar David Aspinall2011-11-15
* Small fixes to coq smie indentation.Gravatar Pierre Courtieu2011-11-14
* Fixed coq smie indentation.Gravatar Pierre Courtieu2011-11-11
* Fixed coq smie indentation.Gravatar Pierre Courtieu2011-11-10
* fixed some small bugs in coq indentation smie code.Gravatar Pierre Courtieu2011-11-10
* added utf8 quantifiers for indentation + small fix in indentation.Gravatar Pierre Courtieu2011-11-08
* Fixing syntax.Gravatar Pierre Courtieu2011-11-07
* Fixed a bit more smie coq indentation. Still unfinished but useable.Gravatar Pierre Courtieu2011-11-07
* Fixed several more bugs in smie indentation code. Not finished.Gravatar Pierre Courtieu2011-11-05
* slowly fixing the last small bugs in smie indentation.Gravatar Pierre Courtieu2011-11-04
* Fix previous commit (again).Gravatar Pierre Courtieu2011-11-04
* Fix previous commit.Gravatar Pierre Courtieu2011-11-04
* * coq.el (coq-smie-forward-token): Simplify by delegating to backward-token.Gravatar Stefan Monnier2011-11-03
* Fixed the indentation of different kinds of use of the with keyword.Gravatar Pierre Courtieu2011-11-03
* Added bullet indentation in smie code. smie code still needs someGravatar Pierre Courtieu2011-11-02
* Attempt to support stricter bytecomp flagsGravatar David Aspinall2011-10-17
* Update dates and versionsGravatar David Aspinall2011-10-03
* Move a comment to docstringGravatar David Aspinall2011-10-03
* fix coqdep warning treated as error (library occurring atGravatar Hendrik Tews2011-09-23
* fix widget descriptions of coq-load-pathGravatar Hendrik Tews2011-09-15
* -add support for -R and -I -as in coq-load-pathGravatar Hendrik Tews2011-09-15
* fix #421 with solution 1Gravatar Hendrik Tews2011-09-14
* fix documentation errorGravatar Hendrik Tews2011-09-09
* Fix trac #420 indentation freezing.Gravatar Pierre Courtieu2011-09-04
* Non Unicode charGravatar David Aspinall2011-08-29
* eval-when-compile -> eval-when (compile) to avoid defvar coq-prog-nameGravatar David Aspinall2011-08-24
* Add back annotation for docstring for texinfoGravatar David Aspinall2011-08-23
* Note TODO for indent testing!Gravatar David Aspinall2011-08-23
* Move coq-prog-name back to coq.elGravatar David Aspinall2011-08-23
* Crude patch for Trac #416. I haven't tried to understand indent code fully, ...Gravatar David Aspinall2011-08-23
* Fixing track 414 by adding Preterm as a state preserving command.Gravatar Pierre Courtieu2011-07-29
* Fix compile when smie isnt availableGravatar David Aspinall2011-07-26
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-01 17:28:02 +0000