aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2004-08-25Updated for 3.6 releaseDavid Aspinall
2004-08-25Update for 3.6 releaseDavid Aspinall
2004-08-25Update for 3.6 releaseDavid Aspinall
2004-08-25Update to version 3.6 pre-releaseDavid Aspinall
2004-08-25Renamed fileDavid Aspinall
2004-08-25UpdateDavid Aspinall
2004-08-25New files.David Aspinall
2004-08-25Renamed fileDavid Aspinall
2004-08-25Add lib to elisp dirsDavid Aspinall
2004-08-25Add lib to elisp paths. Name ETAGS program.David Aspinall
2004-08-25Revert to version distributed with GNU Emacs and XEmacs, but patchedDavid Aspinall
for empty tag parse bug.
2004-08-25Document warning message for xml.elDavid Aspinall
2004-08-25Renamed fileDavid Aspinall
2004-08-25New files.David Aspinall
2004-08-24Don't make proof-shell-insert-hook buffer local.David Aspinall
Protect x-symbol-shell-config against failure of the init-cmd.
2004-08-24Simplify clear buffer callsDavid Aspinall
2004-08-24Make proof-clean-buffer work with dead buffers.David Aspinall
Add x-symbol-version to bug report variables.
2004-08-24Updated.David Aspinall
2004-08-16Note about use of this lib.David Aspinall
2004-08-12Instructions on reporting bugsDavid Aspinall
2004-08-10Set version tag for new release.David Aspinall
2004-08-10Add error handler for nesting too deep in proof-fontify region.David Aspinall
2004-08-10Change 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-10New files.David Aspinall
2004-07-23Set version tag for new release.David Aspinall
2004-07-23Fix display_drafts -> print_draftsDavid Aspinall
2004-07-23Fixed Coq version detection at start.Pierre Courtieu
2004-06-24Improve handling of intermittent fontification for trace buffers.David Aspinall
2004-06-23font-lock problem has reappeared.David Aspinall
2004-06-23Nesting too deep for parser error.David Aspinall
2004-06-23Disable provers whose file extensions clash with sml mode. Default to ↵David Aspinall
Isabelle/Isar
2004-06-22Update email msgDavid Aspinall
2004-06-22Include bug report and observation about GNU EmacsDavid Aspinall
2004-06-22Test case for nesting too deep for parser errorDavid Aspinall
2004-06-17Set version tag for new release.David Aspinall
2004-06-17Make theory name match file nameDavid Aspinall
2004-06-17Fix index number back for isar-undo-remove-regexp, change isar-remove instead.David Aspinall
2004-06-17Note about testDavid Aspinall
2004-06-17Fix grouping for isar-generic-expression.David Aspinall
2004-06-16Add hint for proof-next-error. Add proof-shell-quiet-errors as user-level ↵David Aspinall
setting.
2004-06-16Fix error regexps for matching additional comma printed in position [NB: for ↵David Aspinall
PGIP patched position.ML].
2004-06-16Last change: added also isar-display-draft isar-print-draft forDavid Aspinall
repository versions of Isabelle.
2004-06-16Fix for name matching changes grouping in isar-undo-remove-regexp.David Aspinall
2004-06-16*** empty log message ***David Aspinall
2004-06-16New files.David Aspinall
2004-06-16Continue the grouping bug fix.David Aspinall
2004-06-16Fix another bug introduced by Gerwin's shy grouping "optimisations"...David Aspinall
2004-06-16Set version tag for new release.David Aspinall
2004-06-16Update targetsDavid Aspinall
2004-06-16Updated.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-11 07:05:42 +0000