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
...
*
Should fix #49 and #55 (compilation of From .. Require).
Pierre Courtieu
2016-03-08
*
Small fix for -Q options in loadpath.
Pierre Courtieu
2016-03-08
*
Highlight ltac:(), constr:(), and uconstr:()
Clément Pit--Claudel
2016-03-05
*
Redo 11b03d4 (ensure that ‘Time’ isn't added to internal commands)
Clément Pit--Claudel
2016-02-29
*
Remove leftover comment
Clément Pit--Claudel
2016-02-28
*
Don't add the ‘Time’ prefix to internal Coq commands
Clément Pit--Claudel
2016-02-28
*
Add uconstr to the (ltac constr) list in SMIE
Clément Pit--Claudel
2016-02-27
*
Fix a typo: s/coq-modulestart-proofstart/coq-indent-proofstart/
Clément Pit--Claudel
2016-02-27
*
Add a :safe predicate to indentation variables
Clément Pit--Claudel
2016-02-27
*
Simplify code to add to .emacs
Clément Pit--Claudel
2016-02-20
*
Adding missing keywords
Pierre Courtieu
2016-02-18
*
Merge pull request #28 from JasonGross/travis-24-3-4-5
Pierre Courtieu
2016-02-17
|
\
*
\
Merge pull request #40 from hendriktews/proof-tree
Pierre Courtieu
2016-02-17
|
\
\
*
|
|
More version number fixes
Clément Pit--Claudel
2016-02-13
*
|
|
A few clarifications in README
Clément Pit--Claudel
2016-02-12
*
|
|
Merge pull request #48 from tchajed/texi2html-flags
Clément Pit--Claudel
2016-02-10
|
\
\
\
|
*
|
|
Update numbering flag passed to texi2html
Tej Chajed
2016-02-10
|
/
/
/
*
|
|
More README updates
Clément Pit--Claudel
2016-02-10
*
|
|
Update README
Clément Pit--Claudel
2016-02-10
*
|
|
Ensure that version detection does not fail in 24.3
Clément Pit--Claudel
2016-02-06
*
|
|
Use coq-prog-name to autodetect version number
Clément Pit--Claudel
2016-02-06
*
|
|
Fixed recent coq syntax change (tac !H become tac (H)).
Pierre Courtieu
2016-01-27
|
*
|
basic proof tree changes for Coq 8.5
Hendrik Tews
2016-01-24
|
/
/
*
|
Cleaning CHANGES.
Pierre Courtieu
2016-01-19
*
|
fix #36.
Pierre Courtieu
2016-01-19
*
|
Add a few comments to explain values of coq-load-path
Clément Pit--Claudel
2016-01-14
*
|
Mark coq-load-path-include-current as obsolete
Clément Pit--Claudel
2016-01-14
*
|
Automatically detect which version of Coq we're using
Clément Pit--Claudel
2016-01-14
*
|
Refactor the project file parsing code
Clément Pit--Claudel
2016-01-14
*
|
Fix #29 + indentation glitch + regexp refactoring.
Pierre Courtieu
2016-01-14
|
*
Versions 24.2 and earlier do not compile
Jason Gross
2016-01-13
|
*
Add .travis.yml file adapted from fstar-mode.el
Jason Gross
2016-01-13
|
/
*
Fixing indentation of ";".
Pierre Courtieu
2016-01-08
*
indentation of ";" more accurate.
Pierre Courtieu
2016-01-08
*
Fixing outdenting in ";" indetation.
Pierre Courtieu
2016-01-08
*
Trying to indent ";" differently inside Ltac defs.
Pierre Courtieu
2016-01-08
*
Fixed indentation of ";" tactical.
Pierre Courtieu
2016-01-07
*
Merge pull request #22 from ProofGeneral/fix-scrolling-buffers
Pierre Courtieu
2016-01-06
|
\
*
|
updating CHANGES
Pierre Courtieu
2016-01-06
*
|
Adding uset preference coq-indent-semicolon-tactical.
Pierre Courtieu
2016-01-06
*
|
Fixing #25.
Pierre Courtieu
2016-01-06
*
|
Fixing #20. #19 fixed by a commit in coq-8.5.
Pierre Courtieu
2016-01-06
*
|
First try to fix #19 and #20. Not finished.
Pierre Courtieu
2016-01-04
|
*
Fix spurious scrolling of *goals* and *response* buffers
Clément Pit--Claudel
2015-12-31
*
|
comment and readme.
Pierre Courtieu
2015-12-31
*
|
Refactoring. New file coq-system.el.
Pierre Courtieu
2015-12-14
|
/
*
Small refactoring of coqxxx args detection.
Pierre Courtieu
2015-12-14
*
Fixing coq-prog-arg for auto compilation.
Pierre Courtieu
2015-12-14
*
Fixing variable declaration.
Pierre Courtieu
2015-12-10
*
Adding an setting for Search Blacklist coq option.
Pierre Courtieu
2015-12-09
[prev]
[next]