aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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
2010-08-27Renamed file contrib/mmm/mmm-mason.el, formerly mmm/mmm-mason.elDavid Aspinall
2010-08-27Renamed from mmm/mmm-cweb.el to contrib/mmm/mmm-cweb.elDavid Aspinall
2010-08-27Renamed file contrib/mmm/mmm-cweb.el, formerly mmm/mmm-cweb.elDavid Aspinall
2010-08-27Renamed from mmm/mmm-compat.el to contrib/mmm/mmm-compat.elDavid Aspinall
2010-08-27Renamed file contrib/mmm/mmm-compat.el, formerly mmm/mmm-compat.elDavid Aspinall
2010-08-27Renamed from mmm/mmm-cmds.el to contrib/mmm/mmm-cmds.elDavid Aspinall
2010-08-27Renamed file contrib/mmm/mmm-cmds.el, formerly mmm/mmm-cmds.elDavid Aspinall
2010-08-27Renamed from mmm/mmm-class.el to contrib/mmm/mmm-class.elDavid Aspinall
2010-08-27Renamed file contrib/mmm/mmm-class.el, formerly mmm/mmm-class.elDavid Aspinall
2010-08-27Renamed from mmm/mmm-auto.el to contrib/mmm/mmm-auto.elDavid Aspinall
2010-08-27Renamed file contrib/mmm/mmm-auto.el, formerly mmm/mmm-auto.elDavid Aspinall
2010-08-27Renamed from mmm/TODO to contrib/mmm/TODODavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-25 02:34:19 +0000