index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
...
*
Fixed a bug with function name "eval" (end of).
Pierre Courtieu
2012-09-06
*
Fixed a bug with function name "eval".
Pierre Courtieu
2012-09-06
*
Fixed double hit terminator. Now it is disabled by default, and
Pierre Courtieu
2012-09-05
*
Set version tag for new release.
David Aspinall
2012-09-04
*
Fix compile for Emacs 24
David Aspinall
2012-09-04
*
Disable HOL Light support for release version
David Aspinall
2012-09-04
*
Remove functions defined for Emacs 22 compatibility
David Aspinall
2012-09-02
*
Repair operation with compiled code. Fails with interpreter, see Trac #445
David Aspinall
2012-09-02
*
Remove ref to file parsingcheck-412.v missing from CVS, so "make coq.autotest...
David Aspinall
2012-09-02
*
Fix header
David Aspinall
2012-09-02
*
Set version tag for new release.
David Aspinall
2012-09-02
*
Three windows mode is back as the default mode.
Pierre Courtieu
2012-08-31
*
Changed the behaviour of proof-layout-windows. Now it follows the
Pierre Courtieu
2012-08-31
*
Fixing a bug happening in coq when three win mode on and scripting
Pierre Courtieu
2012-08-31
*
Setting nil by default the option to create resp and goals buffer
Pierre Courtieu
2012-08-31
*
Resize response window when showing an ancient goal.
Pierre Courtieu
2012-08-31
*
Fixing previous commit on double hit.
Pierre Courtieu
2012-08-31
*
Impementing a "double hit" electric terminator. Idea: do electric
Pierre Courtieu
2012-08-30
*
Summary: Don't quote lambda expressions
Stefan Monnier
2012-08-30
*
Added some new behavior to the usual 'show goal' shortcut: if point is
Pierre Courtieu
2012-08-30
*
Illustrat Trac #447
David Aspinall
2012-08-27
*
Fixed an error when smie not present in the system.
Pierre Courtieu
2012-08-24
*
Add option proof-layout-windows-on-visit-file, addressing Trac #444
David Aspinall
2012-08-16
*
Emacs 24 update
David Aspinall
2012-08-16
*
Better colours on dark frames
David Aspinall
2012-08-16
*
Updated
David Aspinall
2012-08-16
*
Emacs 24 compatibility (ucs-insert -> insert-char)
David Aspinall
2012-08-16
*
Fix lambda quote
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
*
Add setting for rcs2log path
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
*
coq-optimise-resp-windows: Check proof script buffer window exists, addressin...
David Aspinall
2012-08-09
*
Rename optim-resp-windows -> coq-optimise-resp-windows for naming convention
David Aspinall
2012-08-09
*
Updated.
David Aspinall
2012-08-09
*
Fix name in proof-easy-config, addressing Trac #441
David Aspinall
2012-08-09
*
Set version tag for new release.
David Aspinall
2012-07-27
*
Cleaned up a obsolete regexp.
Pierre Courtieu
2012-07-25
*
Fixing compilation. Still need to verify some smie stuff on different version...
Pierre Courtieu
2012-07-24
*
Set version tag for new release.
David Aspinall
2012-07-23
*
Making better menus for Coq. Menus visible in response and goals buffer.
Pierre Courtieu
2012-07-22
*
Fixed some regexp for V8.4 final version.
Pierre Courtieu
2012-07-21
*
Fixed widow shrinking hooks + added coq command shortcuts in
Pierre Courtieu
2012-07-19
*
Patch to allow byte compilation without X, reported on Gentoo via Ulrich Mueller
David Aspinall
2012-07-15
*
Simplified file variable code for coq.
Pierre Courtieu
2012-07-11
*
Adapted to late coq-8.4 new messages.
Pierre Courtieu
2012-07-10
*
Fixed incorrect syntax of previous commit.
Pierre Courtieu
2012-07-10
*
Made "printing all" queries smater in letting the prover in the same
Pierre Courtieu
2012-07-10
*
Fixing previous commit (Added completion to insert Require, based on
Pierre Courtieu
2012-07-09
[prev]
[next]