index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
doc
/
PG-adapting.texi
Commit message (
Expand
)
Author
Age
*
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
*
Run "make magic" to update texi comments from elisp docstrings.
Erik Martin-Dorel
2016-07-23
*
Update dates for release next month
David Aspinall
2015-03-13
*
Fix crossref broken by newline. Remove custom font
David Aspinall
2015-01-05
*
Fix image name
David Aspinall
2013-07-17
*
Update timestampes
David Aspinall
2013-01-28
*
- implement proof-script insertion
Hendrik Tews
2013-01-21
*
- implement retract from prooftree
Hendrik Tews
2013-01-20
*
- support Grab Existential Variables for Prooftree
Hendrik Tews
2013-01-17
*
fix parallel overlapping calls of proof-shell-filter
Hendrik Tews
2013-01-10
*
update documentation
Hendrik Tews
2012-11-14
*
- erase invalid coq-load-path entry format '("dir")
Hendrik Tews
2012-05-29
*
Typo
David Aspinall
2012-01-19
*
Add documentation for proof-shell-trace-output-regexp (Trac #432) and
David Aspinall
2012-01-10
*
Update variable docs. Use HOL Light instead of HOL98.
David Aspinall
2012-01-05
*
merge ProofTreeBranch into main trunk:
Hendrik Tews
2012-01-03
*
Bump doc version numbers to 4.2pre.
David Aspinall
2011-10-14
*
Update dates and versions
David Aspinall
2011-10-03
*
-add support for -R and -I -as in coq-load-path
Hendrik Tews
2011-09-15
*
Update dates, magic.
David Aspinall
2011-06-10
*
Update docstrings
David Aspinall
2011-05-16
*
Update docstring magic
David Aspinall
2011-05-12
*
Restore front page scary image. Update dates
David Aspinall
2011-05-05
*
- flushed proof-done-advancing-require-function and
Hendrik Tews
2011-05-05
*
Update magic, tweak Makefile to make sure magic uses source .els
David Aspinall
2011-04-26
*
- change to proof-restart-buffers for unlocking ancestors
Hendrik Tews
2011-03-14
*
put coq compilation feature into coq settings menu
Hendrik Tews
2011-02-14
*
- more info on the elements of proof-action-list; the COMMANDS
Hendrik Tews
2011-01-26
*
Documentation updates
David Aspinall
2011-01-23
*
Update date stamps
David Aspinall
2011-01-19
*
- implemented coq-lock-ancestors as described in the docs already
Hendrik Tews
2011-01-18
*
- move proof-no-fully-processed-buffer to generic/proof-config
Hendrik Tews
2011-01-14
*
Update magic
David Aspinall
2010-10-10
*
Document query identifier
David Aspinall
2010-10-01
*
Update magic, release dates
David Aspinall
2010-10-01
*
Update magic
David Aspinall
2010-08-27
*
Update to use @dircategory and @direntry for info
David Aspinall
2010-08-23
*
Fix menu/node order inside internal chapter
David Aspinall
2010-08-15
*
Update magic
David Aspinall
2009-12-01
*
Updates to internal function docs
David Aspinall
2009-11-29
*
Remove function-menu as promised
David Aspinall
2009-10-14
*
Update magic
David Aspinall
2009-09-30
*
Update docs
David Aspinall
2009-09-15
*
Remove errant ^A
David Aspinall
2009-09-15
*
More text about Unicode Tokens
David Aspinall
2009-09-08
*
Update: mention scomint, remove old variables/functions
David Aspinall
2009-09-06
*
Remove proof-shell-prompt-pattern, no longer used.
David Aspinall
2009-09-04
*
Update versions
David Aspinall
2009-08-31
[next]