aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2011-09-16Tweak to Emacs package buildingDavid Aspinall
2011-09-15fix widget descriptions of coq-load-pathHendrik Tews
2011-09-15-add support for -R and -I -as in coq-load-pathHendrik Tews
2011-09-14fix #421 with solution 1Hendrik Tews
2011-09-14proof-electric-terminator: allow a prefix argument to avoid electric action.David Aspinall
2011-09-14# User Robin Green <greenrd@greenrd.org>David Aspinall
2011-09-14Fix typoDavid Aspinall
2011-09-14Remove contentious call to set-process-query-on-exit-flag, ref Trac#424David Aspinall
2011-09-14Add another contributor.David Aspinall
2011-09-11Fix proof-shell-exit optional argument with (interactive) thanks toPierre Courtieu
2011-09-09fix documentation errorHendrik Tews
2011-09-04Fix trac #420 indentation freezing.Pierre Courtieu
2011-09-04some local buffer properties;Makarius Wenzel
2011-08-31Add suggestion for Q2 from Esben Andreasen to check comint-process-echoes.David Aspinall
2011-08-31clarified isar-improper-regexp -- "prems" is already reported as legacy by th...Makarius Wenzel
2011-08-29Non Unicode charDavid Aspinall
2011-08-24Capitalize menu itemsDavid Aspinall
2011-08-24Set version tag for new release.David Aspinall
2011-08-24eval-when-compile -> eval-when (compile) to avoid defvar coq-prog-nameDavid Aspinall
2011-08-23Remove PG prefix from toolbar button names (needed for disambiguity in older ...David Aspinall
2011-08-23Add back annotation for docstring for texinfoDavid Aspinall
2011-08-23Update magicDavid Aspinall
2011-08-23Set version tag for new release.David Aspinall
2011-08-23Note TODO for indent testing!David Aspinall
2011-08-23Move coq-prog-name back to coq.elDavid Aspinall
2011-08-23Crude patch for Trac #416. I haven't tried to understand indent code fully, ...David Aspinall
2011-07-29Fixing track 414 by adding Preterm as a state preserving command.Pierre Courtieu
2011-07-26Updated.David Aspinall
2011-07-26Fix compile when smie isnt availableDavid Aspinall
2011-07-08Fixing the scripting of new subproof script parenthesizing ({ and }).Pierre Courtieu
2011-07-06generalized font-lock regexps: isar-text allows any non-control characters to...Makarius Wenzel
2011-07-05+ fix documentation and one spelling errorHendrik Tews
2011-07-01Some more sample indentation patterns added.Pierre Courtieu
2011-06-22coq-use-smie not enabled by defaultDavid Aspinall
2011-06-22Remove pointer to closed ticketDavid Aspinall
2011-06-22Set version tag for new release.David Aspinall
2011-06-22Set version tag for new release.David Aspinall
2011-06-19Removed { and } as command terminators for now.Pierre Courtieu
2011-06-17oops, undo last commit.Pierre Courtieu
2011-06-17Fix mais le find-father ne marche pas encore.Pierre Courtieu
2011-06-11* coq.el: Fix up a few comment conventions; Improve SMIE indentation.Stefan Monnier
2011-06-10Version bumpDavid Aspinall
2011-06-10Set version tag for new release.David Aspinall
2011-06-10*** empty log message ***David Aspinall
2011-06-10Set version tag for new release.David Aspinall
2011-06-10Unplug smie cindentation code for this release.Pierre Courtieu
2011-06-10Fix trac #410.Pierre Courtieu
2011-06-10Deleted fileDavid Aspinall
2011-06-10Update dates, magic.David Aspinall
2011-06-09Change linebreaks as Hendrik would like, not wiki formatted(!)David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 11:44:21 +0000