Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Mention to check FAQ too | 2005-01-07 | ||
| | ||||
* | changes to pbrpm | 2004-12-08 | ||
| | ||||
* | Docstring: clarify arg type in proof-define-assitant-command-witharg | 2004-11-30 | ||
| | ||||
* | Updated. | 2004-11-30 | ||
| | ||||
* | work on proof by contextual menu for phox | 2004-11-22 | ||
| | ||||
* | added first (experimental) support for proof by contextual menu (pg-pbrpm.el) | 2004-10-20 | ||
| | ||||
* | added proof-x-symbol-set-language for script buffer | 2004-10-20 | ||
| | ||||
* | fixed a problem with x-symbol not enables in script buffer | 2004-10-20 | ||
| | ||||
* | Updates | 2004-10-05 | ||
| | ||||
* | Add pg-xml-cdata | 2004-10-05 | ||
| | ||||
* | Bug fix suggested by Jonathan S. Shapiro | 2004-10-05 | ||
| | ||||
* | Add arg to forward-comment for GNU Emacs. | 2004-10-04 | ||
| | ||||
* | Fix bug in proof-debug for GNU Emacs | 2004-09-21 | ||
| | ||||
* | Set version tag for new release. | 2004-08-31 | ||
| | ||||
* | Fix backward compatibility with Isabelle 2004. | 2004-08-31 | ||
| | ||||
* | Try to avoid filtering/urgent-message-processing of input | 2004-08-26 | ||
| | ||||
* | Fixes for idtables | 2004-08-26 | ||
| | ||||
* | New files. | 2004-08-25 | ||
| | ||||
* | Set version tag for new release. | 2004-08-25 | ||
| | ||||
* | Add pg-internal-warning. Use display-warning for that and proof-debug, if ↵ | 2004-08-25 | ||
| | | | | available. | |||
* | Use proof-general-short-version | 2004-08-25 | ||
| | ||||
* | Extended and updated PGIP support for PGIP 2.X | 2004-08-25 | ||
| | ||||
* | Overhaul to use xml.el parsing and printing. | 2004-08-25 | ||
| | ||||
* | Extensions to support PGIP 2.X settings format. | 2004-08-25 | ||
| | ||||
* | Comment | 2004-08-25 | ||
| | ||||
* | Add pg-internal-warning | 2004-08-25 | ||
| | ||||
* | Add lib/ to load-path. Define proof-general-short-version. | 2004-08-25 | ||
| | | | | Move architecture flags to proof-compat | |||
* | Renamed file | 2004-08-25 | ||
| | ||||
* | Add architecture flags; comments. | 2004-08-25 | ||
| | ||||
* | Renamed file | 2004-08-25 | ||
| | ||||
* | Renamed file | 2004-08-25 | ||
| | ||||
* | Don't make proof-shell-insert-hook buffer local. | 2004-08-24 | ||
| | | | | Protect x-symbol-shell-config against failure of the init-cmd. | |||
* | Simplify clear buffer calls | 2004-08-24 | ||
| | ||||
* | Make proof-clean-buffer work with dead buffers. | 2004-08-24 | ||
| | | | | Add x-symbol-version to bug report variables. | |||
* | Note about use of this lib. | 2004-08-16 | ||
| | ||||
* | Set version tag for new release. | 2004-08-10 | ||
| | ||||
* | Add error handler for nesting too deep in proof-fontify region. | 2004-08-10 | ||
| | ||||
* | Set version tag for new release. | 2004-07-23 | ||
| | ||||
* | Improve handling of intermittent fontification for trace buffers. | 2004-06-24 | ||
| | ||||
* | Disable provers whose file extensions clash with sml mode. Default to ↵ | 2004-06-23 | ||
| | | | | Isabelle/Isar | |||
* | Set version tag for new release. | 2004-06-17 | ||
| | ||||
* | Add hint for proof-next-error. Add proof-shell-quiet-errors as user-level ↵ | 2004-06-16 | ||
| | | | | setting. | |||
* | Set version tag for new release. | 2004-06-16 | ||
| | ||||
* | Generalise proof-def-invisible. | 2004-06-13 | ||
| | ||||
* | Adjust colours to a lighter scheme. | 2004-06-13 | ||
| | ||||
* | Reinstate escapes for @ { } | 2004-06-04 | ||
| | ||||
* | Set version tag for new release. | 2004-06-04 | ||
| | ||||
* | proof-goto-end-of-locked: add push-mark; fix: goto end of locked even if | 2004-06-03 | ||
| | | | | buffer switched. | |||
* | Fixup problem with whitespace being left after texi comments (reason: | 2004-05-06 | ||
| | | | | | | | \\s-*$ was matching newlines greedily). Normalize whitespace when inserting new comments. Allow prefix-arg to texi-docstring-magic when running interactively, to forgive undefined symbols (handy for cleaning buffers of @def's). | |||
* | Allow tracing slow mode to last 2 seconds. Make message more understandable. | 2004-04-27 | ||
| |