index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
generic
Commit message (
Expand
)
Author
Age
*
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
*
fix #426
Hendrik Tews
2011-09-27
*
Set version tag for new release.
David Aspinall
2011-09-19
*
proof-full-annotation: default to nil
David Aspinall
2011-09-18
*
Set version tag for new release.
David Aspinall
2011-09-16
*
fix #421 with solution 1
Hendrik Tews
2011-09-14
*
proof-electric-terminator: allow a prefix argument to avoid electric action.
David Aspinall
2011-09-14
*
# User Robin Green <greenrd@greenrd.org>
David Aspinall
2011-09-14
[next]