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
*
Adding the option to highlight susual symbols.
Pierre Courtieu
2016-07-22
*
Updating CHANGES.
Pierre Courtieu
2016-06-23
*
updating CHANGES to the last commit.
Pierre Courtieu
2016-03-21
*
Cleaning CHANGES.
Pierre Courtieu
2016-01-19
*
updating CHANGES
Pierre Courtieu
2016-01-06
*
Updated the CHANGES files, mainly git url.
Pierre Courtieu
2015-11-30
*
proof-assert-command-hook added + Auto adjust width in coq mode.
Pierre Courtieu
2015-10-12
*
Update to CHANGE.
Pierre Courtieu
2015-06-23
*
A command to set coq printing width smartly.
Pierre Courtieu
2015-03-26
*
Added a command to send Queries to coq, with completion (C-c C-a C-q).
Pierre Courtieu
2015-03-13
*
Added bug fixes in CHANGES.
Pierre Courtieu
2015-03-09
*
Fixed stuff in CHANGES.
Pierre Courtieu
2015-03-05
*
Customization variables for modules, section and proof indentation.
Pierre Courtieu
2015-03-05
*
Fixed compilation issue with previous commit + CHANGE updates.
Pierre Courtieu
2015-03-04
*
coloring names in resposne and goals
Pierre Courtieu
2015-02-03
*
Fixed a bug in script navigation. Updated CHANGE
Pierre Courtieu
2015-01-27
*
changed default indentation of match's cases.
Pierre Courtieu
2015-01-14
*
Removing non-smie indentation + fix CHANGES.
Pierre Courtieu
2015-01-09
*
trying to indent pending forall in the expected way
Pierre Courtieu
2015-01-05
*
Supporting more bullets (coq 8.5), like ++ or ++++.
Pierre Courtieu
2014-12-23
*
* coq-smie.el (coq-smie-.-deambiguate): Proofs don't start with a definition.
Stefan Monnier
2014-06-04
*
Fixing undeclared variables for compilation.
Pierre Courtieu
2013-07-04
*
Added an entry to CHANGEs about coq project fields.
Pierre Courtieu
2013-06-21
*
- implement proof-script insertion
Hendrik Tews
2013-01-21
*
document latest changes
Hendrik Tews
2013-01-17
*
- support bullets and braces in Prooftree
Hendrik Tews
2013-01-15
*
write CHANGES
Hendrik Tews
2012-11-15
*
Updates for PG 4.3
David Aspinall
2012-10-19
*
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
[next]