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
...
*
Add etc/coq/parsingcheck-410.v to executed files
David Aspinall
2011-06-09
*
parsing check from Trac #410
David Aspinall
2011-06-09
*
Set version tag for new release.
David Aspinall
2011-06-09
*
Fix compile errors (seems to be code duplication between coq.el and coq-indent)
David Aspinall
2011-06-09
*
Update
David Aspinall
2011-06-09
*
Add autoload.
David Aspinall
2011-06-09
*
Added one indentation example.
Pierre Courtieu
2011-06-08
*
- fix for #408: Only use the buffer name in
Hendrik Tews
2011-06-08
*
2011-06-07 Stefan Monnier <monnier@iro.umontreal.ca>
Stefan Monnier
2011-06-07
*
Set version tag for new release.
David Aspinall
2011-06-07
*
Summary: * coq.el (coq-smie-backward-token): Fix typo in last change.
Stefan Monnier
2011-06-07
*
Summary: coq-smie: improve indentation.
Stefan Monnier
2011-06-07
*
Summary: coq-smie: Do not assume all "." are terminators. Handle "Programs".
Stefan Monnier
2011-06-06
*
Record of bug report sent
David Aspinall
2011-06-06
*
*** empty log message ***
David Aspinall
2011-06-06
*
Updated the old code for indentation, in case Stefan cannot finish the
Pierre Courtieu
2011-06-04
*
Cleaning some keyboard shortcuts, applying patch from Erik Martin-Dorel.
Pierre Courtieu
2011-06-04
*
coq-init-compile-response-buffer: handle killed buffer (Trac #408)
David Aspinall
2011-06-03
*
proof-undo-and-delete-last-successful-command: obey spec (Trac #407)
David Aspinall
2011-06-03
*
Set version tag for new release.
David Aspinall
2011-06-01
*
Some small fixes in indentation for coq.
Pierre Courtieu
2011-05-31
*
Added indentation for BeginSubProof/EndSubProof.
Pierre Courtieu
2011-05-31
*
Set version tag for new release.
David Aspinall
2011-05-30
*
Trac#403: wait for retraction to complete before returning, to
David Aspinall
2011-05-30
*
ensure (integerp proof-segment-up-to-cache-end), fixes Trac #404
David Aspinall
2011-05-27
*
Set version tag for new release.
David Aspinall
2011-05-27
*
proof-retract-before-change: fix Trac #403 (at least partially) by
David Aspinall
2011-05-26
*
- two fixes for coq-debug-auto-compilation
Hendrik Tews
2011-05-25
*
- minor changes: clean personal todo list + adjust test case description
Hendrik Tews
2011-05-20
*
Fixed #394. There is a bug with kfont-lock-keywords. The workaround is
Pierre Courtieu
2011-05-17
*
Set version tag for new release.
David Aspinall
2011-05-16
*
Update autogenerated files
David Aspinall
2011-05-16
*
Update docstrings
David Aspinall
2011-05-16
*
Patch for Trac#400.
David Aspinall
2011-05-16
*
Ref to Coq chapter in PG manual
David Aspinall
2011-05-16
*
Clean up customization groups for defpacustom and defpgcustom. See http://li...
David Aspinall
2011-05-16
*
Set version tag for new release.
David Aspinall
2011-05-12
*
Update docstring magic
David Aspinall
2011-05-12
*
Update autoloads
David Aspinall
2011-05-12
*
Tweak for `proof-segment-up-to-using-cache': better handling of
David Aspinall
2011-05-12
*
Attempted fix for `proof-segment-up-to-using-cache', re
David Aspinall
2011-05-12
*
- add test coq/ex/test-cases/change-ancestor for the
Hendrik Tews
2011-05-12
*
- add ".vo", ".glob" to completion-ignored-extensions when Proof
Hendrik Tews
2011-05-12
*
Version year
David Aspinall
2011-05-06
*
Checkdoc
David Aspinall
2011-05-06
*
Fix emails
David Aspinall
2011-05-05
*
Remove mention of dvi
David Aspinall
2011-05-05
*
Set version tag for new release.
David Aspinall
2011-05-05
*
Restore front page scary image. Update dates
David Aspinall
2011-05-05
*
Update dates.
David Aspinall
2011-05-05
[prev]
[next]