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
...
*
Set version tag for new release.
David Aspinall
2012-10-19
*
Updates for PG 4.3
David Aspinall
2012-10-19
*
Set version tag for new release.
David Aspinall
2012-10-19
*
"as" insertion on a region.
Pierre Courtieu
2012-10-03
*
Fixed auto-insert-as stuff + fix compiling problems.
Pierre Courtieu
2012-10-03
*
Made 'as' automatic insertion a togglable feature (not finished) (2).
Pierre Courtieu
2012-10-02
*
Made 'as' automatic insertion a togglable feature. Not finished.
Pierre Courtieu
2012-10-02
*
Fixed 'as' close automatic insertion.
Pierre Courtieu
2012-10-02
*
Fixed the coq-insert-as feature. Will only work on coq svn trunk for
Pierre Courtieu
2012-10-01
*
Fixed #419: coq synchronized variables are not anymore in the settings
Pierre Courtieu
2012-09-25
*
Fixed a bug in three windows mode.
Pierre Courtieu
2012-09-25
*
Added a menu to set the 3 windows layout.
Pierre Courtieu
2012-09-25
*
Fixed indentation in presence of "dot friends" like :?. etc.
Pierre Courtieu
2012-09-25
*
Fixed docstring of proof-layout-windows for two columns mode.Was not
Pierre Courtieu
2012-09-24
*
Fixing a docstring.
Pierre Courtieu
2012-09-24
*
Completing the possible layouts of proof-layout-windows (added the 3
Pierre Courtieu
2012-09-24
*
Fixing a bad interaction between one unicode token and electric
Pierre Courtieu
2012-09-21
*
Small fix in holes code.
Pierre Courtieu
2012-09-19
*
Set version tag for new release.
David Aspinall
2012-09-14
*
proof-shell-process-connection-type: try using pipes by default in Emacs 24,
David Aspinall
2012-09-14
*
Updated.
David Aspinall
2012-09-14
*
coq-remove-trailing-dot: Fix accidental dynamic binding so it compiles
David Aspinall
2012-09-14
*
no braces and bullets for prooftree
Hendrik Tews
2012-09-14
*
adjust proof-tree regexp for focused subgoals
Hendrik Tews
2012-09-14
*
treat #450 by requiring that proofs are started with Proof
Hendrik Tews
2012-09-12
*
Fix of the last commit.
Pierre Courtieu
2012-09-07
*
Added one point + details to CHANGES.
Pierre Courtieu
2012-09-07
*
Fix a bug that was letting "." in a wrong syntax category.
Pierre Courtieu
2012-09-07
*
Cleaning code and comments.
Pierre Courtieu
2012-09-07
*
Fixed a bug with coq symbol detection at point. Now dot notation.are supported.
Pierre Courtieu
2012-09-07
*
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
[prev]
[next]