aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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
buffer switched.
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
\\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).
2004-05-06Whitespace.David Aspinall
2004-05-06Add EMACSFLAGS so can run with EMACS=emacsDavid Aspinall
(NB! Emacs has different regexp behaviour in @lisp, though!!)
2004-05-06Fixup whitespace.David Aspinall
2004-05-06Run magic, clean up duplicated entries and whitespace.David Aspinall
Fix to architecture vars.
2004-05-06Comments.David Aspinall
2004-05-06bug fix with terminal regexp (pb with :"unfold foo in |- *.")Pierre Courtieu
2004-04-27Allow tracing slow mode to last 2 seconds. Make message more understandable.David Aspinall
2004-04-27Update magicDavid Aspinall
2004-04-27condition-case -> unwind-protectDavid Aspinall
2004-04-27Add optional (prefix) arg to proof-layout-windows.David Aspinall
2004-04-27Make response buffer hint shorterDavid Aspinall
2004-04-27Updated.David Aspinall
2004-04-26Add compatibility hack for Emacs 21.2.1 customize-menu-createDavid Aspinall
2004-04-26Allow proof-goto-end-of-locked to work again if no active scripting buffer.David Aspinall
2004-04-26Allow CMD to be nil in proof-shell-invisible-command (failsafe).David Aspinall
2004-04-24Updated.David Aspinall
2004-04-24Set version tag for new release.David Aspinall
2004-04-24Update pre-rel tagDavid Aspinall
2004-04-24Update magic.David Aspinall
2004-04-24Updated.David Aspinall
2004-04-24Update test filesDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 04:07:04 +0000