aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2004-08-25New files.David Aspinall
2004-08-24Don't make proof-shell-insert-hook buffer local.David Aspinall
2004-08-24Simplify clear buffer callsDavid Aspinall
2004-08-24Make proof-clean-buffer work with dead buffers.David Aspinall
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
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 Isabe...David Aspinall
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 se...David Aspinall
2004-06-16Fix error regexps for matching additional comma printed in position [NB: for ...David Aspinall
2004-06-16Last change: added also isar-display-draft isar-print-draft forDavid Aspinall
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
2004-06-14Note another todoDavid Aspinall
2004-06-13Updated.David Aspinall
2004-06-13Add functions for displaying/printing draft.David Aspinall
2004-06-13Generalise proof-def-invisible.David Aspinall
2004-06-13Adjust colours to a lighter scheme.David Aspinall
2004-06-11Link to FAQDavid Aspinall
2004-06-11Updated.David Aspinall
2004-06-11Expand that UTF 8 affects Suse 9.1David Aspinall
2004-06-04Reinstate escapes for @ { }David Aspinall
2004-06-04Update magic, datesDavid Aspinall
2004-06-04Set version tag for new release.David Aspinall
2004-06-04Update noticeDavid Aspinall
2004-06-04Incorporate suggestions from Achim Brucker: fix LC_CTYPE, load .proofgeneral.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-21 09:09:33 +0000