aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Fix buglets shown up by byte compilation.Gravatar David Aspinall2004-03-01
* Set version tag for new release.Gravatar David Aspinall2004-03-01
* Beginnings of parsescript supportGravatar David Aspinall2004-02-29
* Comments.Gravatar David Aspinall2004-02-28
* little bug correction of holesGravatar Pierre Courtieu2004-02-26
* little changes in the holes short docGravatar Pierre Courtieu2004-02-26
* little changes of menu/holes/abbrev in coq/pgGravatar Pierre Courtieu2004-02-26
* added submenus for command insertion for coq. menu uses abbrevGravatar Pierre Courtieu2004-02-19
* added some lines in holes short doc. And some abbrevs for coq.Gravatar Pierre Courtieu2004-02-19
* added some words to hole short docGravatar Pierre Courtieu2004-02-19
* last commit was incompleteGravatar Pierre Courtieu2004-02-19
* Update (C)Gravatar David Aspinall2004-02-18
* holes implementation, it uses span.el. mouse keybindings workGravatar Pierre Courtieu2004-02-18
* forgot some functions in span-extent.el. This is like the previousGravatar Pierre Courtieu2004-02-16
* I added some utility functions in generic/span-overlays.el andGravatar Pierre Courtieu2004-02-16
* Update email and web addressesGravatar David Aspinall2004-02-08
* Set version tag for new release.Gravatar David Aspinall2004-02-08
* Remove more proofgeneral.org mail aliasesGravatar David Aspinall2004-02-07
* Set version tag for new release.Gravatar David Aspinall2004-02-07
* revoke broken indent fixGravatar Gerwin Klein2004-01-19
* Fix domain nameGravatar David Aspinall2003-12-11
* Run checkdocGravatar David Aspinall2003-10-05
* Set version tag for new release.Gravatar David Aspinall2003-10-05
* Add interactive input setting, and extra flags for action.Gravatar David Aspinall2003-10-05
* Set version tag for new release.Gravatar David Aspinall2003-09-25
* Include class attribute in PGIP commandsGravatar David Aspinall2003-09-24
* Add idle timer to cleanup tracing display.Gravatar David Aspinall2003-06-19
* Give text default for hidden proof image.Gravatar David Aspinall2003-06-16
* Check display is really available: XEmacs now defines device-pixel-depth even...Gravatar David Aspinall2003-06-13
* Fix typo.Gravatar David Aspinall2003-06-09
* Extend proof-shell-identifier-under-mouse to allow regions, and also depend o...Gravatar David Aspinall2003-06-08
* Robustness in pg-identifier-under-mouse-query.Gravatar David Aspinall2003-06-08
* Comments.Gravatar David Aspinall2003-06-08
* Attempt to prevent recording of buffer switching history (display-buffer cann...Gravatar David Aspinall2003-06-08
* GNU Emacs keybinding for pg-identifier-under-mouse-queryGravatar David Aspinall2003-06-08
* Only give hint about C-c C-. if not already visibleGravatar David Aspinall2003-06-08
* Add insert last output onto menuGravatar David Aspinall2003-06-08
* Add simple but effective identifier-under-mouse-query command.Gravatar David Aspinall2003-06-08
* Add code to recognize fast tracing output from prover, and play slow catchup.Gravatar David Aspinall2003-06-05
* Remove proof-trace-output-fontify-enable (unused) in favour of proof-trace-ou...Gravatar David Aspinall2003-06-05
* TypoGravatar David Aspinall2003-06-05
* Simplify mark-buffer-atomic to just make 'proverproc span.Gravatar David Aspinall2003-06-05
* By default, do not move pointer on interrupt, only error; tune hints for spansGravatar David Aspinall2003-06-05
* proof-strict-read-only: only alter locked span if live (bug fix)Gravatar David Aspinall2003-05-28
* Set version tag for new release.Gravatar David Aspinall2003-05-24
* Rotate buffers display can display next bufferGravatar David Aspinall2003-05-24
* Include next buffer in hint for rotate buffersGravatar David Aspinall2003-05-24
* Revert to displaying empty buffer for sake of pr in IsarGravatar David Aspinall2003-05-24
* Add hint triggered when processing completeGravatar David Aspinall2003-05-24
* Switch order of buffers displayed by C-c C-l. Add hint.Gravatar David Aspinall2003-05-24
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 17:02:19 +0000