| Age | Commit message (Expand) | Author |
|---|
| 2010-09-08 | Clean up invisibility spec | David Aspinall |
| 2010-09-08 | Improve/fix invisibility management, using buffer-invisibility-spec. Adjust ... | David Aspinall |
| 2010-09-08 | Fix compile | David Aspinall |
| 2010-09-08 | Script mouse face highlighting: new faces/colours for commands and regions, r... | David Aspinall |
| 2010-09-08 | Trivial comment change | David Aspinall |
| 2010-09-08 | Tidy comments. | David Aspinall |
| 2010-09-08 | Comments | David Aspinall |
| 2010-09-08 | Add simple clear test for multiple files without require | David Aspinall |
| 2010-09-07 | proof-assert-electric-terminator: fix for proof-terminal-string, not char | David Aspinall |
| 2010-09-07 | Finished fixing the small indentation bug at buffer top. | Pierre Courtieu |
| 2010-09-07 | Fix of previous commit. | Pierre Courtieu |
| 2010-09-07 | half fixed the indentation bug at buffer start. | Pierre Courtieu |
| 2010-09-06 | Minor clean up of comments while reading code | David Aspinall |
| 2010-09-06 | Update for current Coq syntax | David Aspinall |
| 2010-09-06 | Fixed a bug in coq "set prog args persistently". | Pierre Courtieu |
| 2010-09-03 | Fixed indentation which was broken by a previous commit. | Pierre Courtieu |
| 2010-09-03 | Adding some keywords. | Pierre Courtieu |
| 2010-09-03 | First fix of bug introduced by the last font-lock fix. Not finished. | Pierre Courtieu |
| 2010-09-01 | Fixed experimental feature of storing response or goal in a persistent | Pierre Courtieu |
| 2010-09-01 | Fixed bug #346. Coq code was using proof-ids-to-regexp on regexp | Pierre Courtieu |
| 2010-08-30 | Style fixes | David Aspinall |
| 2010-08-30 | Fix comment | David Aspinall |
| 2010-08-30 | *** empty log message *** | David Aspinall |
| 2010-08-30 | Fix syntax for Local prefix (see Trac #348) | David Aspinall |
| 2010-08-30 | Response freeze given non special buffer name (Trac #347) | David Aspinall |
| 2010-08-27 | Set version tag for new release. | David Aspinall |
| 2010-08-27 | Simplify | David Aspinall |
| 2010-08-27 | Fix bug with nested spans, solving #344/#335 | David Aspinall |
| 2010-08-27 | Target to run an instance | David Aspinall |
| 2010-08-27 | Updated | David Aspinall |
| 2010-08-27 | Replace proof-terminal-char with proof-terminal-string. | David Aspinall |
| 2010-08-27 | Fix mmm path | David Aspinall |
| 2010-08-27 | Update magic | David Aspinall |
| 2010-08-27 | Remove proof-autosend-error-point | David Aspinall |
| 2010-08-27 | Implement the eagerly anticipated Beyond Script Management Feature No.2 (i.e.... | David Aspinall |
| 2010-08-27 | Move location of mmm | David Aspinall |
| 2010-08-27 | Remove double footer | David Aspinall |
| 2010-08-27 | Reorganise | David Aspinall |
| 2010-08-27 | Renamed from mmm/version.texi to contrib/mmm/version.texi | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/version.texi, formerly mmm/version.texi | David Aspinall |
| 2010-08-27 | Renamed from mmm/mmm.texinfo to contrib/mmm/mmm.texinfo | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/mmm.texinfo, formerly mmm/mmm.texinfo | David Aspinall |
| 2010-08-27 | Renamed from mmm/mmm-vars.el to contrib/mmm/mmm-vars.el | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/mmm-vars.el, formerly mmm/mmm-vars.el | David Aspinall |
| 2010-08-27 | Renamed from mmm/mmm-utils.el to contrib/mmm/mmm-utils.el | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/mmm-utils.el, formerly mmm/mmm-utils.el | David Aspinall |
| 2010-08-27 | Renamed from mmm/mmm-univ.el to contrib/mmm/mmm-univ.el | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/mmm-univ.el, formerly mmm/mmm-univ.el | David Aspinall |
| 2010-08-27 | Renamed from mmm/mmm-sample.el to contrib/mmm/mmm-sample.el | David Aspinall |
| 2010-08-27 | Renamed file contrib/mmm/mmm-sample.el, formerly mmm/mmm-sample.el | David Aspinall |
