| Commit message (Expand) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | 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 | |
| * | Set version tag for new release. | David Aspinall | 2004-08-10 | |
| * | Add error handler for nesting too deep in proof-fontify region. | David Aspinall | 2004-08-10 | |
| * | Change syntax table for \ from word constituent to escape character. | David Aspinall | 2004-08-10 | |
| * | New files. | David Aspinall | 2004-08-10 | |
| * | Set version tag for new release. | David Aspinall | 2004-07-23 | |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |