aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2004-06-04Edit PGHOMEDEFAULT rather than PGHOME.David Aspinall
2004-06-04Suggest to change LC_CTYPE rather than LANG. Thanks to Achim Brucker.David Aspinall
2004-06-03proof-goto-end-of-locked: add push-mark; fix: goto end of locked even ifDavid Aspinall
2004-06-02Fix typoDavid Aspinall
2004-05-20Tip about fink xemacs-sumo packageDavid Aspinall
2004-05-19Mention sumoDavid Aspinall
2004-05-19Updated.David Aspinall
2004-05-19FAQ about load file executable errorDavid Aspinall
2004-05-17first try to make x-symbol worksChristophe Raffalli
2004-05-11adding the "Comments" keyword in state-preserving commands.Pierre Courtieu
2004-05-09Set comment-quote-nested (for Emacs/XEmacs 21.5)David Aspinall
2004-05-09Update versions and dates. Extra section in adapting for syntax table, etc.David Aspinall
2004-05-07added "User error" to error message (had already "User Error").Pierre Courtieu
2004-05-07Updated.David Aspinall
2004-05-07Explain buffer invisibilityDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:01:04 +0000