| Commit message (Expand) | Author | Age |
* | Add option proof-layout-windows-on-visit-file, addressing Trac #444 | David Aspinall | 2012-08-16 |
* | Better colours on dark frames | David Aspinall | 2012-08-16 |
* | Set version tag for new release. | David Aspinall | 2012-08-14 |
* | Add user option proof-next-command-insert-space. | David Aspinall | 2012-08-14 |
* | fix 443 by enforcing that the prover is not busy in proof-retract-until-point | Hendrik Tews | 2012-08-14 |
* | Set version tag for new release. | David Aspinall | 2012-08-09 |
* | Set version tag for new release. | David Aspinall | 2012-07-27 |
* | Set version tag for new release. | David Aspinall | 2012-07-23 |
* | Patch to allow byte compilation without X, reported on Gentoo via Ulrich Mueller | David Aspinall | 2012-07-15 |
* | * generic/pg-user.el (which-func-modes): Fix compiler declaration. | Stefan Monnier | 2012-06-29 |
* | Made a small change in generic code about the setting of | Pierre Courtieu | 2012-06-09 |
* | Summary: Handle the new t value of which-func-modes. | Stefan Monnier | 2012-06-08 |
* | Set version tag for new release. | David Aspinall | 2012-06-05 |
* | hide cursor in non-selected *goals* and *response* buffers | Hendrik Tews | 2012-06-04 |
* | let proof-retract-buffer only move point when called interactively | Hendrik Tews | 2012-05-31 |
* | kill windows showing response and goals buffers on proof-shell-exit | Hendrik Tews | 2012-05-24 |
* | Use proof-add-to-load-path to extend load-path. This way, | Hendrik Tews | 2012-05-08 |
* | Set version tag for new release. | David Aspinall | 2012-04-30 |
* | enable compilation of generic/proof-autoloads.el | Hendrik Tews | 2012-04-19 |
* | Set version tag for new release. | David Aspinall | 2012-04-11 |
* | fix compilation with emacs23-nox of Debian | Hendrik Tews | 2012-03-01 |
* | proof-shell-start: initialise associated buffers before shell mode, so in rig... | David Aspinall | 2012-02-08 |
* | Bump year | David Aspinall | 2012-02-07 |
* | New pseudo instances to help tool demonstrators in ocaml/ghci (in progress) | David Aspinall | 2012-02-07 |
* | Set version tag for new release. | David Aspinall | 2012-02-06 |
* | make sure extra modes available | David Aspinall | 2012-01-23 |
* | Typo | David Aspinall | 2012-01-19 |
* | lower cpu utilization of splash screen, see Debian bug #642048 | Hendrik Tews | 2012-01-14 |
* | Set version tag for new release. | David Aspinall | 2012-01-12 |
* | Set version tag for new release. | David Aspinall | 2012-01-10 |
* | Tweak message and display model, in particular, make sure that when a | David Aspinall | 2012-01-10 |
* | Improve configuration for HOL Light. Allow goals display to be prefixed by i... | David Aspinall | 2012-01-09 |
* | proof-shell-end-goals-regexp doc: fix inaccuracy, goals always start | David Aspinall | 2012-01-09 |
* | Temporarily enable HOL Light globally for testing | David Aspinall | 2012-01-05 |
* | * fix case where some existential is instantiated with the last proof command | Hendrik Tews | 2012-01-04 |
* | Set version tag for new release. | David Aspinall | 2012-01-04 |
* | merge ProofTreeBranch into main trunk: | Hendrik Tews | 2012-01-03 |
* | Set version tag for new release. | David Aspinall | 2011-12-07 |
* | - protect proof-shell-handle-delayed-output against the case where | Hendrik Tews | 2011-12-07 |
* | fix a log of broken customization types | Hendrik Tews | 2011-12-06 |
* | use the start of proof-shell-end-goals-regexp, as documented | Hendrik Tews | 2011-12-06 |
* | Quick stab at support for switching to proof shell when interactive support e... | David Aspinall | 2011-11-15 |
* | Add fix and regression test for Trac #138 | David Aspinall | 2011-10-17 |
* | Set version tag for new release. | David Aspinall | 2011-10-17 |
* | Attempt to support stricter bytecomp flags | David Aspinall | 2011-10-17 |
* | Remove dependency of pg-movie on pg-user | David Aspinall | 2011-10-17 |
* | Set version tag for new release. | David Aspinall | 2011-10-13 |
* | Patch from Tom Prince to fix Emacs 24 byte compilation (replace interactive-p... | David Aspinall | 2011-10-13 |
* | To fix pgshell mode, restore proof-shell-insert support for a single string a... | David Aspinall | 2011-10-13 |
* | Set version tag for new release. | David Aspinall | 2011-10-03 |