aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Capitalize menu itemsGravatar David Aspinall2011-08-24
* Set version tag for new release.Gravatar David Aspinall2011-08-24
* eval-when-compile -> eval-when (compile) to avoid defvar coq-prog-nameGravatar David Aspinall2011-08-24
* Remove PG prefix from toolbar button names (needed for disambiguity in older ...Gravatar David Aspinall2011-08-23
* Add back annotation for docstring for texinfoGravatar David Aspinall2011-08-23
* Update magicGravatar David Aspinall2011-08-23
* Set version tag for new release.Gravatar 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
* Updated.Gravatar David Aspinall2011-07-26
* Fix compile when smie isnt availableGravatar David Aspinall2011-07-26
* Fixing the scripting of new subproof script parenthesizing ({ and }).Gravatar Pierre Courtieu2011-07-08
* generalized font-lock regexps: isar-text allows any non-control characters to...Gravatar Makarius Wenzel2011-07-06
* + fix documentation and one spelling errorGravatar Hendrik Tews2011-07-05
* Some more sample indentation patterns added.Gravatar Pierre Courtieu2011-07-01
* coq-use-smie not enabled by defaultGravatar David Aspinall2011-06-22
* Remove pointer to closed ticketGravatar David Aspinall2011-06-22
* Set version tag for new release.Gravatar David Aspinall2011-06-22
* Set version tag for new release.Gravatar David Aspinall2011-06-22
* Removed { and } as command terminators for now.Gravatar Pierre Courtieu2011-06-19
* oops, undo last commit.Gravatar Pierre Courtieu2011-06-17
* Fix mais le find-father ne marche pas encore.Gravatar Pierre Courtieu2011-06-17
* * coq.el: Fix up a few comment conventions; Improve SMIE indentation.Gravatar Stefan Monnier2011-06-11
* Version bumpGravatar David Aspinall2011-06-10
* Set version tag for new release.Gravatar David Aspinall2011-06-10
* *** empty log message ***Gravatar David Aspinall2011-06-10
* Set version tag for new release.Gravatar David Aspinall2011-06-10
* Unplug smie cindentation code for this release.Gravatar Pierre Courtieu2011-06-10
* Fix trac #410.Gravatar Pierre Courtieu2011-06-10
* Deleted fileGravatar David Aspinall2011-06-10
* Update dates, magic.Gravatar David Aspinall2011-06-10
* Change linebreaks as Hendrik would like, not wiki formatted(!)Gravatar David Aspinall2011-06-09
* Add etc/coq/parsingcheck-410.v to executed filesGravatar David Aspinall2011-06-09
* parsing check from Trac #410Gravatar David Aspinall2011-06-09
* Set version tag for new release.Gravatar David Aspinall2011-06-09
* Fix compile errors (seems to be code duplication between coq.el and coq-indent)Gravatar David Aspinall2011-06-09
* UpdateGravatar David Aspinall2011-06-09
* Add autoload.Gravatar David Aspinall2011-06-09
* Added one indentation example.Gravatar Pierre Courtieu2011-06-08
* - fix for #408: Only use the buffer name inGravatar Hendrik Tews2011-06-08
* 2011-06-07 Stefan Monnier <monnier@iro.umontreal.ca>Gravatar Stefan Monnier2011-06-07
* Set version tag for new release.Gravatar David Aspinall2011-06-07
* Summary: * coq.el (coq-smie-backward-token): Fix typo in last change.Gravatar Stefan Monnier2011-06-07
* Summary: coq-smie: improve indentation.Gravatar Stefan Monnier2011-06-07
* Summary: coq-smie: Do not assume all "." are terminators. Handle "Programs".Gravatar Stefan Monnier2011-06-06
* Record of bug report sentGravatar David Aspinall2011-06-06
* *** empty log message ***Gravatar David Aspinall2011-06-06
* Updated the old code for indentation, in case Stefan cannot finish theGravatar Pierre Courtieu2011-06-04
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 17:05:07 +0000