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
*
Make shell and perl scripts executable.
Erik Martin-Dorel
2016-09-19
*
Bump version number for next release cycle.
Erik Martin-Dorel
2016-09-19
*
Update the documentation and prepare the release 4.4.
Erik Martin-Dorel
2016-09-18
*
Comment-out the rcsid ($Id$) that dates from CVS.
Erik Martin-Dorel
2016-09-18
*
Detail.
Erik Martin-Dorel
2016-09-18
*
Promote CHANGES since 2820cb68 as related to PG 4.4.
Erik Martin-Dorel
2016-09-18
*
Fix reference to log-warning-minimum-level
psteckler
2016-09-16
*
Ensure PG overlays have pg-span property (#98)
Tej Chajed
2016-08-25
*
Sort the OPTIONS menu items differently & Fix a typo (UnSet -> Unset).
Erik Martin-Dorel
2016-08-14
*
Replace "Set Implicit Arguments" option with "Set Printing Implicit".
Erik Martin-Dorel
2016-08-14
*
Add Reserved Infix like Reserved Notation (#95)
Jason Gross
2016-08-14
*
Fix whitespace to comply with Markdown syntax.
Erik Martin-Dorel
2016-07-26
*
Rename FAQ -> FAQ.md
Erik Martin-Dorel
2016-07-26
*
Add documentation about the recommended way to set coq-prog-name.
Erik Martin-Dorel
2016-07-23
*
Run "make magic" to update texi comments from elisp docstrings.
Erik Martin-Dorel
2016-07-23
*
Add myself to the list of maintainers.
Erik Martin-Dorel
2016-07-23
*
Adding the option to highlight susual symbols.
Pierre Courtieu
2016-07-22
*
Merge pull request #87 from erikmd/patch-1
Pierre Courtieu
2016-07-20
|
\
*
|
Fix inforef references to the emacs manual. (#88)
Yuval Langer
2016-07-07
|
*
Fix (next-undo-elt) to return a relevant undo element w.r.t (undo-delta).
Erik Martin-Dorel
2016-07-04
|
/
*
Highlight Existing Class like Existing Instance (#85)
Jason Gross
2016-07-03
*
Add Travis CI badge.
Erik Martin-Dorel
2016-07-03
*
emacs-git Travis build: Fix URL of Emacs repo & Build against emacs-25 branch.
Erik Martin-Dorel
2016-07-03
*
Update README.md.
Erik Martin-Dorel
2016-07-03
*
Update a link (for latest version of FAQ).
Erik Martin-Dorel
2016-07-03
*
Fix link.
Erik Martin-Dorel
2016-07-03
*
Highlight [nra] like [nia] and [lia] and [lra] (#84)
Jason Gross
2016-07-01
*
Fix a typo
Clément Pit--Claudel
2016-06-23
*
Add myself to list of authors
Clément Pit--Claudel
2016-06-23
*
par-compile: Don't try to compile plugins (cm.*)
Clément Pit--Claudel
2016-06-23
*
Fix a type error hidden until recent emacs.
Pierre Courtieu
2016-06-23
*
Updating CHANGES.
Pierre Courtieu
2016-06-23
*
Coq: option to prefer top over bottom of concl.
Pierre Courtieu
2016-06-23
*
coq-load-path docs: norec -> nonrec (#79)
Timothy Bourke
2016-06-18
*
Reset proof-script-buffer to nil if -ready-prover fails
Clément Pit--Claudel
2016-06-10
*
Color lia, romega, nia, psatz, nsatz, lra
Jason Gross
2016-06-10
*
abbrev twivking.
Pierre Courtieu
2016-06-08
*
Fixing font-locking of unicode forall etc.
Pierre Courtieu
2016-06-08
*
Merge branch 'master' of github.com:ProofGeneral/PG
Pierre Courtieu
2016-05-27
|
\
*
|
Fixing a smal glitch in indentation.
Pierre Courtieu
2016-05-27
|
*
Update license information for new logo
Clément Pit--Claudel
2016-05-25
|
*
Update PG's logo
Clément Pit--Claudel
2016-05-24
|
/
*
Merge branch 'master' of github.com:ProofGeneral/PG
Pierre Courtieu
2016-05-20
|
\
*
|
Fix #72+ make user keywords prioritized over default ones.
Pierre Courtieu
2016-05-20
|
*
Fail silently if Coq's version can't be detected
Clément Pit--Claudel
2016-05-19
|
*
Merge branch 'master' of github.com:ProofGeneral/PG
Clément Pit--Claudel
2016-05-16
|
|
\
|
|
/
|
/
|
|
*
Don't offer "" as the default in C-c C-c C-a
Clément Pit--Claudel
2016-05-16
|
*
coq-syntax: Add a debug spec
Clément Pit--Claudel
2016-05-16
*
|
Merge branch 'master' of github.com:ProofGeneral/PG
Pierre Courtieu
2016-05-02
|
\
|
*
|
Fixing detection of symbol at point.
Pierre Courtieu
2016-05-02
[next]