| Commit message (Expand) | Author | Age |
... | |
* | Renamed from mmm/mmm-auto.el to contrib/mmm/mmm-auto.el | David Aspinall | 2010-08-27 |
* | Renamed file contrib/mmm/mmm-auto.el, formerly mmm/mmm-auto.el | David Aspinall | 2010-08-27 |
* | Renamed from mmm/TODO to contrib/mmm/TODO | David Aspinall | 2010-08-27 |
* | Renamed file contrib/mmm/TODO, formerly mmm/TODO | David Aspinall | 2010-08-27 |
* | Renamed from mmm/README.mmm-for-ProofGeneral to contrib/mmm/README.mmm-for-Pr... | David Aspinall | 2010-08-27 |
* | Renamed file contrib/mmm/README.mmm-for-ProofGeneral, formerly mmm/README.mmm... | David Aspinall | 2010-08-27 |
* | Renamed from mmm/README to contrib/mmm/README | David Aspinall | 2010-08-27 |
* | Renamed file contrib/mmm/README, formerly mmm/README | David Aspinall | 2010-08-27 |
* | Renamed from mmm/NEWS to contrib/mmm/NEWS | David Aspinall | 2010-08-27 |
* | Renamed file contrib/mmm/NEWS, formerly mmm/NEWS | David Aspinall | 2010-08-27 |
* | Renamed from mmm/INSTALL to contrib/mmm/INSTALL | David Aspinall | 2010-08-27 |
* | Renamed file contrib/mmm/INSTALL, formerly mmm/INSTALL | David Aspinall | 2010-08-27 |
* | Renamed from mmm/FAQ to contrib/mmm/FAQ | David Aspinall | 2010-08-27 |
* | Renamed file contrib/mmm/FAQ, formerly mmm/FAQ | David Aspinall | 2010-08-27 |
* | Renamed from mmm/COPYING to contrib/mmm/COPYING | David Aspinall | 2010-08-27 |
* | Renamed file contrib/mmm/COPYING, formerly mmm/COPYING | David Aspinall | 2010-08-27 |
* | Renamed from mmm/AUTHORS to contrib/mmm/AUTHORS | David Aspinall | 2010-08-27 |
* | Renamed file contrib/mmm/AUTHORS, formerly mmm/AUTHORS | David Aspinall | 2010-08-27 |
* | Add retract buffer to menu | David Aspinall | 2010-08-27 |
* | Fix for Trac #343 | David Aspinall | 2010-08-27 |
* | Move erase-buffer from associate buffer mode functions, allowing clone-buffer... | David Aspinall | 2010-08-26 |
* | proof-shell-display-output-as-response: fix to check for no-response-display, | David Aspinall | 2010-08-26 |
* | Updated | David Aspinall | 2010-08-26 |
* | proof-interrupt-process: make sure works from non-proof shell buffers. | David Aspinall | 2010-08-26 |
* | Target to build an Emacs package | David Aspinall | 2010-08-25 |
* | Add unnecessary quote marks for consistent colouring | David Aspinall | 2010-08-25 |
* | Remove obsolete provers | David Aspinall | 2010-08-25 |
* | Clarify Q1 | David Aspinall | 2010-08-25 |
* | Moved | David Aspinall | 2010-08-25 |
* | Remove obsolete provers | David Aspinall | 2010-08-25 |
* | Renamed from plastic/plastic.el to obsolete/plastic/plastic.el | David Aspinall | 2010-08-25 |
* | Renamed file obsolete/plastic/plastic.el, formerly plastic/plastic.el | David Aspinall | 2010-08-25 |
* | Renamed from plastic/README to obsolete/plastic/README | David Aspinall | 2010-08-25 |
* | Renamed file obsolete/plastic/README, formerly plastic/README | David Aspinall | 2010-08-25 |
* | Renamed from plastic/plastic-syntax.el to obsolete/plastic/plastic-syntax.el | David Aspinall | 2010-08-25 |
* | Renamed file obsolete/plastic/plastic-syntax.el, formerly plastic/plastic-syn... | David Aspinall | 2010-08-25 |
* | Renamed from plastic/test.lf to obsolete/plastic/test.lf | David Aspinall | 2010-08-25 |
* | Renamed file obsolete/plastic/test.lf, formerly plastic/test.lf | David Aspinall | 2010-08-25 |
* | Renamed from demoisa/demoisa.el to obsolete/demoisa/demoisa.el | David Aspinall | 2010-08-25 |
* | Renamed file obsolete/demoisa/demoisa.el, formerly demoisa/demoisa.el | David Aspinall | 2010-08-25 |
* | Renamed from demoisa/demoisa-easy.el to obsolete/demoisa/demoisa-easy.el | David Aspinall | 2010-08-25 |
* | Renamed file obsolete/demoisa/demoisa-easy.el, formerly demoisa/demoisa-easy.el | David Aspinall | 2010-08-25 |
* | Renamed from demoisa/README to obsolete/demoisa/README | David Aspinall | 2010-08-25 |
* | Renamed file obsolete/demoisa/README, formerly demoisa/README | David Aspinall | 2010-08-25 |
* | Deleted file | David Aspinall | 2010-08-25 |
* | Set version tag for new release. | David Aspinall | 2010-08-25 |
* | Make tests succeed, although still two or three underlying bugs | David Aspinall | 2010-08-25 |
* | Fix compile: declare proof-interrupt-process | David Aspinall | 2010-08-25 |
* | proof-retract-before-change: now interrupts are robust in Isabelle, try | David Aspinall | 2010-08-25 |
* | Fixed my last commit where compilation was broken. (function put at | Pierre Courtieu | 2010-08-25 |