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
*
*** empty log message ***
David Aspinall
2004-08-31
*
Set version tag for new release.
David Aspinall
2004-08-31
*
Fix backward compatibility with Isabelle 2004.
David Aspinall
2004-08-31
*
debugged the indentation of coq (bug report of Batsiaan Zapf august
Pierre Courtieu
2004-08-30
*
Try to avoid filtering/urgent-message-processing of input
David Aspinall
2004-08-26
*
Fixes for idtables
David Aspinall
2004-08-26
*
More proofgeneral.org removals
David Aspinall
2004-08-25
*
Hack names of xemacs-elc emacs-elc packages too
David Aspinall
2004-08-25
*
Update for 3.6
David Aspinall
2004-08-25
*
New files.
David Aspinall
2004-08-25
*
Change develdownload.php -> develdownload.html
David Aspinall
2004-08-25
*
Set version tag for new release.
David Aspinall
2004-08-25
*
Update for forthcoming 3.6
David Aspinall
2004-08-25
*
Updated.
David Aspinall
2004-08-25
*
Update for 3.6
David Aspinall
2004-08-25
*
Updates for 3.6
David Aspinall
2004-08-25
*
Explain LaTeX mode for Isabelle a bit better
David Aspinall
2004-08-25
*
Add pg-internal-warning. Use display-warning for that and proof-debug, if av...
David Aspinall
2004-08-25
*
Use proof-general-short-version
David Aspinall
2004-08-25
*
Extended and updated PGIP support for PGIP 2.X
David Aspinall
2004-08-25
*
Overhaul to use xml.el parsing and printing.
David Aspinall
2004-08-25
*
Extensions to support PGIP 2.X settings format.
David Aspinall
2004-08-25
*
Comment
David Aspinall
2004-08-25
*
Add pg-internal-warning
David Aspinall
2004-08-25
*
New files.
David Aspinall
2004-08-25
*
Tune
David Aspinall
2004-08-25
*
Tune
David Aspinall
2004-08-25
*
Add lib/ to load-path. Define proof-general-short-version.
David Aspinall
2004-08-25
*
Renamed file
David Aspinall
2004-08-25
*
Add architecture flags; comments.
David Aspinall
2004-08-25
*
Updated for 3.6 release
David Aspinall
2004-08-25
*
Update for 3.6 release
David Aspinall
2004-08-25
*
Update for 3.6 release
David Aspinall
2004-08-25
*
Update to version 3.6 pre-release
David Aspinall
2004-08-25
*
Renamed file
David Aspinall
2004-08-25
*
Update
David Aspinall
2004-08-25
*
New files.
David Aspinall
2004-08-25
*
Renamed file
David Aspinall
2004-08-25
*
Add lib to elisp dirs
David Aspinall
2004-08-25
*
Add lib to elisp paths. Name ETAGS program.
David Aspinall
2004-08-25
*
Revert to version distributed with GNU Emacs and XEmacs, but patched
David Aspinall
2004-08-25
*
Document warning message for xml.el
David Aspinall
2004-08-25
*
Renamed file
David Aspinall
2004-08-25
*
New files.
David Aspinall
2004-08-25
*
Don't make proof-shell-insert-hook buffer local.
David Aspinall
2004-08-24
*
Simplify clear buffer calls
David Aspinall
2004-08-24
*
Make proof-clean-buffer work with dead buffers.
David Aspinall
2004-08-24
*
Updated.
David Aspinall
2004-08-24
*
Note about use of this lib.
David Aspinall
2004-08-16
*
Instructions on reporting bugs
David Aspinall
2004-08-12
[next]