index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
CHANGES
Commit message (
Expand
)
Author
Age
*
Fixed a bug in three windows mode.
Pierre Courtieu
2012-09-25
*
Added one point + details to CHANGES.
Pierre Courtieu
2012-09-07
*
Fixed double hit terminator. Now it is disabled by default, and
Pierre Courtieu
2012-09-05
*
Add user option proof-next-command-insert-space.
David Aspinall
2012-08-14
*
Fixing compilation. Still need to verify some smie stuff on different version...
Pierre Courtieu
2012-07-24
*
Added completion to insert Require, based on coq-load-path.
Pierre Courtieu
2012-07-09
*
updated CHANGES for Coq.
Pierre Courtieu
2012-07-09
*
More fixes in coq indentation.
Pierre Courtieu
2012-07-06
*
Added some detail on the indentation limitation in the CHANGE.
Pierre Courtieu
2012-01-18
*
Fix typo, mention HOL Light
David Aspinall
2012-01-12
*
Add link to Prooftree download
David Aspinall
2012-01-04
*
update CHANGES
Hendrik Tews
2012-01-03
*
Will release 4.2 next, after all
David Aspinall
2011-12-23
*
- protect proof-shell-handle-delayed-output against the case where
Hendrik Tews
2011-12-07
*
Suggest PG 4.1.1 will be released next
David Aspinall
2011-11-15
*
Bump doc version numbers to 4.2pre.
David Aspinall
2011-10-14
*
coq-use-smie not enabled by default
David Aspinall
2011-06-22
*
Ref to Coq chapter in PG manual
David Aspinall
2011-05-16
*
Note recent changes
David Aspinall
2011-01-25
*
Summary: New indentation code using SMIE
Stefan Monnier
2010-11-15
*
Updated.
David Aspinall
2010-11-03
*
Update for config changes.
David Aspinall
2010-10-13
*
proof-use-parser-cache=t default
David Aspinall
2010-10-11
*
Clarify Emacs 22 version
David Aspinall
2010-10-10
*
Support Emacs 23.1+ only.
David Aspinall
2010-10-10
*
Document query identifier
David Aspinall
2010-10-01
*
proof-script-command-separator: removed (always a space)
David Aspinall
2010-10-01
*
Add Document Centred command. Adjust for new menu layout.
David Aspinall
2010-09-21
*
Fixed the cleaning of goals buffer when proof completed
Pierre Courtieu
2010-09-09
*
filled CHANGES a bit more precisely.
Pierre Courtieu
2010-09-09
*
Fixed small bugs in indentation.
Pierre Courtieu
2010-09-09
*
Fixed bug #346. Coq code was using proof-ids-to-regexp on regexp
Pierre Courtieu
2010-09-01
*
Updated
David Aspinall
2010-08-27
*
Mention Fast Process Buffer
David Aspinall
2010-08-20
*
Update.
David Aspinall
2010-08-15
*
pg-protected-undo change
David Aspinall
2010-08-03
*
Updated.
David Aspinall
2010-08-03
*
Updated
David Aspinall
2009-12-04
*
Updated
David Aspinall
2009-10-15
*
Explain Unicode Tokens better
David Aspinall
2009-10-02
*
Updated
David Aspinall
2009-09-14
*
Elaborate on new settings
David Aspinall
2009-09-11
*
*** empty log message ***
David Aspinall
2009-09-09
*
*** empty log message ***
David Aspinall
2009-09-09
*
Updated.
David Aspinall
2009-09-08
*
Update, remove proof-shell-abort-goal-regexp
David Aspinall
2009-09-08
*
Updated
David Aspinall
2009-09-06
*
Remove use-specials-for-fontify
David Aspinall
2009-09-06
*
Update.
David Aspinall
2009-09-06
*
Updated
David Aspinall
2009-09-05
[next]