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
*
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
*
Fix typo
David Aspinall
2011-09-14
*
Remove contentious call to set-process-query-on-exit-flag, ref Trac#424
David Aspinall
2011-09-14
*
Fix proof-shell-exit optional argument with (interactive) thanks to
Pierre Courtieu
2011-09-11
*
Capitalize menu items
David Aspinall
2011-08-24
*
Set version tag for new release.
David Aspinall
2011-08-24
*
Remove PG prefix from toolbar button names (needed for disambiguity in older ...
David Aspinall
2011-08-23
*
Set version tag for new release.
David Aspinall
2011-08-23
*
Set version tag for new release.
David Aspinall
2011-06-22
*
Set version tag for new release.
David Aspinall
2011-06-22
*
Set version tag for new release.
David Aspinall
2011-06-10
*
Set version tag for new release.
David Aspinall
2011-06-10
[next]