aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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
2004-04-23modified the syntax for subscript in coq/pgPierre Courtieu
2004-04-23deleted coq x symbols doc in CHANGES.Pierre Courtieu
2004-04-22New files.David Aspinall
2004-04-22Tidy menus, add new commandsDavid Aspinall
2004-04-22Add extra user options, extra commands, start of new attempt at multiple file.David Aspinall
2004-04-22Add proof-save-some-buffersDavid Aspinall
2004-04-22Update to Coq 8.0 syntaxDavid Aspinall
2004-04-22Add proof-deactivate-scripting-hookDavid Aspinall
2004-04-22Add proof-deactivate-scripting-hook. Also note activate-script-hook is no ↵David Aspinall
longer inherited
2004-04-22Allow empty :setting, :eval in defpacustom.David Aspinall
2004-04-21Updated.David Aspinall
2004-04-21Fix home page address, mention new menu option.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-12 11:04:54 +0000