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
*
Changed the look of folding/unfolding hyps.
Pierre Courtieu
2018-06-08
*
Shorter CHANGES + smal fixes in hide/highlight hyps code.
Pierre Courtieu
2018-06-04
*
Click hypothesis to (un)hide them.
Pierre Courtieu
2018-06-01
*
Updated CHANGES about hiding and highlighting of hyps.
Pierre Courtieu
2018-05-31
*
Bind C-c C-m (= C-c RET) to proof-goto-point [tty] (#228)
Erik Martin-Dorel
2018-02-20
*
Prettier cheat face (background + box).
Pierre Courtieu
2017-11-06
*
Updating CHANGES with lexer extensibility.
Pierre Courtieu
2017-10-26
*
Remove default key-binding for proof-electric-terminator-toggle.
Erik Martin-Dorel
2017-03-03
*
documentation and CHANGES for coq-compile-keep-going
Hendrik Tews
2016-12-08
*
write CHANGES
Hendrik Tews
2016-11-30
*
Update CHANGES.
Erik Martin-Dorel
2016-10-16
*
Detail.
Erik Martin-Dorel
2016-09-18
*
Promote CHANGES since 2820cb68 as related to PG 4.4.
Erik Martin-Dorel
2016-09-18
*
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
[next]