aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Fix of previous commit.Gravatar Pierre Courtieu2010-09-07
* half fixed the indentation bug at buffer start.Gravatar Pierre Courtieu2010-09-07
* Minor clean up of comments while reading codeGravatar David Aspinall2010-09-06
* Update for current Coq syntaxGravatar David Aspinall2010-09-06
* Fixed a bug in coq "set prog args persistently".Gravatar Pierre Courtieu2010-09-06
* Fixed indentation which was broken by a previous commit.Gravatar Pierre Courtieu2010-09-03
* Adding some keywords.Gravatar Pierre Courtieu2010-09-03
* First fix of bug introduced by the last font-lock fix. Not finished.Gravatar Pierre Courtieu2010-09-03
* Fixed experimental feature of storing response or goal in a persistentGravatar Pierre Courtieu2010-09-01
* Fixed bug #346. Coq code was using proof-ids-to-regexp on regexpGravatar Pierre Courtieu2010-09-01
* Style fixesGravatar David Aspinall2010-08-30
* Fix commentGravatar David Aspinall2010-08-30
* *** empty log message ***Gravatar David Aspinall2010-08-30
* Fix syntax for Local prefix (see Trac #348)Gravatar David Aspinall2010-08-30
* Response freeze given non special buffer name (Trac #347)Gravatar David Aspinall2010-08-30
* Set version tag for new release.Gravatar David Aspinall2010-08-27
* SimplifyGravatar David Aspinall2010-08-27
* Fix bug with nested spans, solving #344/#335Gravatar David Aspinall2010-08-27
* Target to run an instanceGravatar David Aspinall2010-08-27
* UpdatedGravatar David Aspinall2010-08-27
* Replace proof-terminal-char with proof-terminal-string.Gravatar David Aspinall2010-08-27
* Fix mmm pathGravatar David Aspinall2010-08-27
* Update magicGravatar David Aspinall2010-08-27
* Remove proof-autosend-error-pointGravatar David Aspinall2010-08-27
* Implement the eagerly anticipated Beyond Script Management Feature No.2 (i.e....Gravatar David Aspinall2010-08-27
* Move location of mmmGravatar David Aspinall2010-08-27
* Remove double footerGravatar David Aspinall2010-08-27
* ReorganiseGravatar David Aspinall2010-08-27
* Renamed from mmm/version.texi to contrib/mmm/version.texiGravatar David Aspinall2010-08-27
* Renamed file contrib/mmm/version.texi, formerly mmm/version.texiGravatar David Aspinall2010-08-27
* Renamed from mmm/mmm.texinfo to contrib/mmm/mmm.texinfoGravatar David Aspinall2010-08-27
* Renamed file contrib/mmm/mmm.texinfo, formerly mmm/mmm.texinfoGravatar David Aspinall2010-08-27
* Renamed from mmm/mmm-vars.el to contrib/mmm/mmm-vars.elGravatar David Aspinall2010-08-27
* Renamed file contrib/mmm/mmm-vars.el, formerly mmm/mmm-vars.elGravatar David Aspinall2010-08-27
* Renamed from mmm/mmm-utils.el to contrib/mmm/mmm-utils.elGravatar David Aspinall2010-08-27
* Renamed file contrib/mmm/mmm-utils.el, formerly mmm/mmm-utils.elGravatar David Aspinall2010-08-27
* Renamed from mmm/mmm-univ.el to contrib/mmm/mmm-univ.elGravatar David Aspinall2010-08-27
* Renamed file contrib/mmm/mmm-univ.el, formerly mmm/mmm-univ.elGravatar David Aspinall2010-08-27
* Renamed from mmm/mmm-sample.el to contrib/mmm/mmm-sample.elGravatar David Aspinall2010-08-27
* Renamed file contrib/mmm/mmm-sample.el, formerly mmm/mmm-sample.elGravatar David Aspinall2010-08-27
* Renamed from mmm/mmm-rpm.el to contrib/mmm/mmm-rpm.elGravatar David Aspinall2010-08-27
* Renamed file contrib/mmm/mmm-rpm.el, formerly mmm/mmm-rpm.elGravatar David Aspinall2010-08-27
* Renamed from mmm/mmm-region.el to contrib/mmm/mmm-region.elGravatar David Aspinall2010-08-27
* Renamed file contrib/mmm/mmm-region.el, formerly mmm/mmm-region.elGravatar David Aspinall2010-08-27
* Renamed from mmm/mmm-mode.el to contrib/mmm/mmm-mode.elGravatar David Aspinall2010-08-27
* Renamed file contrib/mmm/mmm-mode.el, formerly mmm/mmm-mode.elGravatar David Aspinall2010-08-27
* Renamed from mmm/mmm-mason.el to contrib/mmm/mmm-mason.elGravatar David Aspinall2010-08-27
* Renamed file contrib/mmm/mmm-mason.el, formerly mmm/mmm-mason.elGravatar David Aspinall2010-08-27
* Renamed from mmm/mmm-cweb.el to contrib/mmm/mmm-cweb.elGravatar David Aspinall2010-08-27
* Renamed file contrib/mmm/mmm-cweb.el, formerly mmm/mmm-cweb.elGravatar David Aspinall2010-08-27
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 13:35:36 +0000