aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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
2004-04-21Update for V8 syntax.David Aspinall
2004-04-21Updated.David Aspinall
2004-04-21Set version tag for new release.David Aspinall
2004-04-21Updated.David Aspinall
2004-04-21Deleted the "3 buffers view menu entry" for coq, this is now aPierre Courtieu
proofgeneral menu entry (bug of the 3.5 release).
2004-04-21Tweak some textDavid Aspinall
2004-04-21Updated.David Aspinall
2004-04-18Set version tag for new release.David Aspinall
2004-04-18Set version tag for new release.David Aspinall
2004-04-18Set version tag for new release.David Aspinall
2004-04-18Updated.David Aspinall
2004-04-18Obey proof-eagerly-raise in proof-layout-windows.David Aspinall
2004-04-18Add proof-eagerly-raise setting, disable it for trace buffer.David Aspinall
2004-04-18Multiple frames annoyances, also proof-eagerly-raise setting.David Aspinall
2004-04-18Try to stop proof-delete-other-frames from bringing up newDavid Aspinall
frames only to delete them.
2004-04-18Try to stop frame proliferation: let proof-shell-start make frames,David Aspinall
proof-shell-kill tear them down. Add proof-shell-fiddle-frames incase this causes mass customer annoyance. Also move point of specifier setting to after mode has been configured for associated buffer; this makes settings persist better on XEmacs.
2004-04-18Add save-selected-frame for GNU EmacsDavid Aspinall
2004-04-18Comment about menu layout.David Aspinall
2004-04-18Comments.David Aspinall
2004-04-18Remove faulty compatiblity for XE 21.1David Aspinall
2004-04-17Set version tag for new release.David Aspinall
2004-04-17Tag for 3.5David Aspinall
2004-04-17Branch for 3.5 releaseDavid Aspinall
2004-04-17Branch for 3.5 releaseDavid Aspinall
2004-04-17Set version tag for new release.David Aspinall
2004-04-17Updated.David Aspinall
2004-04-17Updated magicDavid Aspinall
2004-04-17Updated.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-07-20 21:15:12 +0000