aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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
2004-04-24SpacingDavid Aspinall
2004-04-24Add proof-shell-require-command-regexp, proof-done-advancing-require-functionDavid Aspinall
to support multiple files in Coq. Move some keybindings to proof-universal-keys (esp. C-c C-l).
2004-04-24New files.David Aspinall
2004-04-24Add FAW on cannot switch buffers errorDavid Aspinall
2004-04-24Fix commentDavid Aspinall
2004-04-23fixed the need input_spec warning.Pierre Courtieu
2004-04-23Adjust attempt at multiple file handling. Run make instead of coqc if find ↵David Aspinall
a makefile. Begin handling requires.
2004-04-23Updated.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-10-30 08:27:03 +0000