aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)Author
2004-03-23Set version tag for new release.David Aspinall
2004-03-19 .v7 and .v8 added as coq file possible extensions.Pierre Courtieu
2004-03-17holes debugging.Pierre Courtieu
2004-03-17menu, holes and abbrev made better.Pierre Courtieu
2004-03-15bug fix in holes (call to proof-indent-line instead of funcallPierre Courtieu
2004-03-10holes-short-doc now is in view-mode.Pierre Courtieu
2004-03-10dealing with compile warning for new "hole" code (end hopefully).Pierre Courtieu
2004-03-10modification to avoid compile warnings (end)Pierre Courtieu
2004-03-10slight modif of holes short doc.Pierre Courtieu
2004-03-10x-get-selection is obsolete for xemacs, made a macroPierre Courtieu
2004-03-10bug correctionsPierre Courtieu
2004-03-02Set version tag for new release.David Aspinall
2004-03-02Fix a few compiler warningsDavid Aspinall
2004-03-02Switch ?\ -> ?\040 (Joe Corneli reports problem with CVS GNU Emacs)David Aspinall
2004-03-01Fix Emacs icon name clash problemDavid Aspinall
2004-03-01Fix buglets shown up by byte compilation.David Aspinall
2004-03-01Set version tag for new release.David Aspinall
2004-02-29Beginnings of parsescript supportDavid Aspinall
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
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
2004-02-16forgot some functions in span-extent.el. This is like the previousPierre Courtieu
2004-02-16I added some utility functions in generic/span-overlays.el andPierre Courtieu
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 even...David Aspinall
2003-06-09Fix typo.David Aspinall
2003-06-08Extend proof-shell-identifier-under-mouse to allow regions, and also depend o...David Aspinall
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 cann...David Aspinall
2003-06-08GNU Emacs keybinding for pg-identifier-under-mouse-queryDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-08 22:36:44 +0000