aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2010-09-08Add simple clear test for multiple files without requireDavid Aspinall
2010-09-07proof-assert-electric-terminator: fix for proof-terminal-string, not charDavid Aspinall
2010-09-07Finished fixing the small indentation bug at buffer top.Pierre Courtieu
2010-09-07Fix of previous commit.Pierre Courtieu
2010-09-07half fixed the indentation bug at buffer start.Pierre Courtieu
2010-09-06Minor clean up of comments while reading codeDavid Aspinall
2010-09-06Update for current Coq syntaxDavid Aspinall
2010-09-06Fixed a bug in coq "set prog args persistently".Pierre Courtieu
2010-09-03Fixed indentation which was broken by a previous commit.Pierre Courtieu
2010-09-03Adding some keywords.Pierre Courtieu
2010-09-03First fix of bug introduced by the last font-lock fix. Not finished.Pierre Courtieu
2010-09-01Fixed experimental feature of storing response or goal in a persistentPierre Courtieu
buffer.
2010-09-01Fixed bug #346. Coq code was using proof-ids-to-regexp on regexpPierre Courtieu
instead of pure strings.
2010-08-30Style fixesDavid Aspinall
2010-08-30Fix commentDavid Aspinall
2010-08-30*** empty log message ***David Aspinall
2010-08-30Fix syntax for Local prefix (see Trac #348)David Aspinall
2010-08-30Response freeze given non special buffer name (Trac #347)David Aspinall
2010-08-27Set version tag for new release.David Aspinall
2010-08-27SimplifyDavid Aspinall
2010-08-27Fix bug with nested spans, solving #344/#335David Aspinall
2010-08-27Target to run an instanceDavid Aspinall
2010-08-27UpdatedDavid Aspinall
2010-08-27Replace proof-terminal-char with proof-terminal-string.David Aspinall
2010-08-27Fix mmm pathDavid Aspinall
2010-08-27Update magicDavid Aspinall
2010-08-27Remove proof-autosend-error-pointDavid Aspinall
2010-08-27Implement the eagerly anticipated Beyond Script Management Feature No.2 ↵David Aspinall
(i.e., automatic preview of next command)
2010-08-27Move location of mmmDavid Aspinall
2010-08-27Remove double footerDavid Aspinall
2010-08-27ReorganiseDavid Aspinall
2010-08-27Renamed from mmm/version.texi to contrib/mmm/version.texiDavid Aspinall
2010-08-27Renamed file contrib/mmm/version.texi, formerly mmm/version.texiDavid Aspinall
2010-08-27Renamed from mmm/mmm.texinfo to contrib/mmm/mmm.texinfoDavid Aspinall
2010-08-27Renamed file contrib/mmm/mmm.texinfo, formerly mmm/mmm.texinfoDavid Aspinall
2010-08-27Renamed from mmm/mmm-vars.el to contrib/mmm/mmm-vars.elDavid Aspinall
2010-08-27Renamed file contrib/mmm/mmm-vars.el, formerly mmm/mmm-vars.elDavid Aspinall
2010-08-27Renamed from mmm/mmm-utils.el to contrib/mmm/mmm-utils.elDavid Aspinall
2010-08-27Renamed file contrib/mmm/mmm-utils.el, formerly mmm/mmm-utils.elDavid Aspinall
2010-08-27Renamed from mmm/mmm-univ.el to contrib/mmm/mmm-univ.elDavid Aspinall
2010-08-27Renamed file contrib/mmm/mmm-univ.el, formerly mmm/mmm-univ.elDavid Aspinall
2010-08-27Renamed from mmm/mmm-sample.el to contrib/mmm/mmm-sample.elDavid Aspinall
2010-08-27Renamed file contrib/mmm/mmm-sample.el, formerly mmm/mmm-sample.elDavid Aspinall
2010-08-27Renamed from mmm/mmm-rpm.el to contrib/mmm/mmm-rpm.elDavid Aspinall
2010-08-27Renamed file contrib/mmm/mmm-rpm.el, formerly mmm/mmm-rpm.elDavid Aspinall
2010-08-27Renamed from mmm/mmm-region.el to contrib/mmm/mmm-region.elDavid Aspinall
2010-08-27Renamed file contrib/mmm/mmm-region.el, formerly mmm/mmm-region.elDavid Aspinall
2010-08-27Renamed from mmm/mmm-mode.el to contrib/mmm/mmm-mode.elDavid Aspinall
2010-08-27Renamed file contrib/mmm/mmm-mode.el, formerly mmm/mmm-mode.elDavid Aspinall
2010-08-27Renamed from mmm/mmm-mason.el to contrib/mmm/mmm-mason.elDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-03 20:19:49 +0000