aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2004-05-07Fix for GNU EmacsDavid Aspinall
2004-05-07Updated.David Aspinall
2004-05-07New files.David Aspinall
2004-05-07Update with date/version.David Aspinall
2004-05-07Claim auto compilation for Coq.David Aspinall
2004-05-07point to Coq/README for syntax.David Aspinall
2004-05-06Patch from Brother MakariusDavid Aspinall
2004-05-06Fix one texi-docstring-magic, find anotherDavid Aspinall
2004-05-06Fixup problem with whitespace being left after texi comments (reason:David Aspinall
2004-05-06Whitespace.David Aspinall
2004-05-06Add EMACSFLAGS so can run with EMACS=emacsDavid Aspinall
2004-05-06Fixup whitespace.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-25 13:41:40 +0000