| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 ↵ | David Aspinall | |
| available. | |||
| 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 | |
| Move architecture flags to proof-compat | |||
| 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 | |
| for empty tag parse bug. | |||
| 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-24 | Don't make proof-shell-insert-hook buffer local. | David Aspinall | |
| Protect x-symbol-shell-config against failure of the init-cmd. | |||
| 2004-08-24 | Simplify clear buffer calls | David Aspinall | |
| 2004-08-24 | Make proof-clean-buffer work with dead buffers. | David Aspinall | |
| Add x-symbol-version to bug report variables. | |||
| 2004-08-24 | Updated. | David Aspinall | |
| 2004-08-16 | Note about use of this lib. | David Aspinall | |
| 2004-08-12 | Instructions on reporting bugs | David Aspinall | |
| 2004-08-10 | 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 | |
| Add output-font-lock-keywords for tvars and vars without ?'s (probably redundant without low-level output mode change: pending). | |||
| 2004-08-10 | New files. | David Aspinall | |
| 2004-07-23 | Set version tag for new release. | David Aspinall | |
| 2004-07-23 | Fix display_drafts -> print_drafts | David Aspinall | |
| 2004-07-23 | Fixed Coq version detection at start. | Pierre Courtieu | |
| 2004-06-24 | Improve handling of intermittent fontification for trace buffers. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |