aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq
Commit message (Expand)AuthorAge
* Cleaned up a obsolete regexp.Gravatar Pierre Courtieu2012-07-25
* Fixing compilation. Still need to verify some smie stuff on different version...Gravatar Pierre Courtieu2012-07-24
* Making better menus for Coq. Menus visible in response and goals buffer.Gravatar Pierre Courtieu2012-07-22
* Fixed some regexp for V8.4 final version.Gravatar Pierre Courtieu2012-07-21
* Fixed widow shrinking hooks + added coq command shortcuts inGravatar Pierre Courtieu2012-07-19
* 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
* 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
* 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
* 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
* 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
* 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
* 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
* fix "Hide Additional Subgoals" for coq 8.4betaGravatar Hendrik Tews2012-05-24
* fix typo + add one missing cvsignoreGravatar Hendrik Tews2012-05-09
* fix coqdep error recognitionGravatar Hendrik Tews2012-02-13
* Fixed an ineficiency in comment detection.Gravatar Pierre Courtieu2012-02-10
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-05 08:48:05 +0000