aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Collapse)Author
2004-02-28Comments.David Aspinall
2004-02-26little bug correction of holesPierre Courtieu
2004-02-26little changes in the holes short docPierre Courtieu
2004-02-26little changes of menu/holes/abbrev in coq/pgPierre Courtieu
2004-02-19added submenus for command insertion for coq. menu uses abbrevPierre Courtieu
expansion to build holes.
2004-02-19added some lines in holes short doc. And some abbrevs for coq.Pierre Courtieu
2004-02-19added some words to hole short docPierre Courtieu
2004-02-19last commit was incompletePierre Courtieu
2004-02-18Update (C)David Aspinall
2004-02-18holes implementation, it uses span.el. mouse keybindings workPierre Courtieu
correctly for xemacs (any version) and emacs > 21.
2004-02-16forgot some functions in span-extent.el. This is like the previousPierre Courtieu
commit, for "holes" integration.
2004-02-16I added some utility functions in generic/span-overlays.el andPierre Courtieu
generic/span-extent.el. This is for my "holes" feature integration.
2004-02-08Update email and web addressesDavid Aspinall
2004-02-08Set version tag for new release.David Aspinall
2004-02-07Remove more proofgeneral.org mail aliasesDavid Aspinall
2004-02-07Set version tag for new release.David Aspinall
2004-01-19revoke broken indent fixGerwin Klein
2003-12-11Fix domain nameDavid Aspinall
2003-10-05Run checkdocDavid Aspinall
2003-10-05Set version tag for new release.David Aspinall
2003-10-05Add interactive input setting, and extra flags for action.David Aspinall
2003-09-25Set version tag for new release.David Aspinall
2003-09-24Include class attribute in PGIP commandsDavid Aspinall
2003-06-19Add idle timer to cleanup tracing display.David Aspinall
2003-06-16Give text default for hidden proof image.David Aspinall
2003-06-13Check display is really available: XEmacs now defines device-pixel-depth ↵David Aspinall
even on terminals.
2003-06-09Fix typo.David Aspinall
2003-06-08Extend proof-shell-identifier-under-mouse to allow regions, and also depend ↵David Aspinall
on buffer context.
2003-06-08Robustness in pg-identifier-under-mouse-query.David Aspinall
2003-06-08Comments.David Aspinall
2003-06-08Attempt to prevent recording of buffer switching history (display-buffer ↵David Aspinall
cannot be stopped, sadly)
2003-06-08GNU Emacs keybinding for pg-identifier-under-mouse-queryDavid Aspinall
2003-06-08Only give hint about C-c C-. if not already visibleDavid Aspinall
2003-06-08Add insert last output onto menuDavid Aspinall
2003-06-08Add simple but effective identifier-under-mouse-query command.David Aspinall
2003-06-05Add code to recognize fast tracing output from prover, and play slow catchup.David Aspinall
2003-06-05Remove proof-trace-output-fontify-enable (unused) in favour of ↵David Aspinall
proof-trace-output-slow-catchup
2003-06-05TypoDavid Aspinall
2003-06-05Simplify mark-buffer-atomic to just make 'proverproc span.David Aspinall
2003-06-05By default, do not move pointer on interrupt, only error; tune hints for spansDavid Aspinall
2003-05-28proof-strict-read-only: only alter locked span if live (bug fix)David Aspinall
2003-05-24Set version tag for new release.David Aspinall
2003-05-24Rotate buffers display can display next bufferDavid Aspinall
2003-05-24Include next buffer in hint for rotate buffersDavid Aspinall
2003-05-24Revert to displaying empty buffer for sake of pr in IsarDavid Aspinall
2003-05-24Add hint triggered when processing completeDavid Aspinall
2003-05-24Switch order of buffers displayed by C-c C-l. Add hint.David Aspinall
2003-05-24Tweak to shrink-to-fitDavid Aspinall
2003-05-24Added hint mechanismDavid Aspinall
2003-05-24Do not display empty responsesDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-23 17:56:57 +0000