aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2003-10-05Updated.David Aspinall
2003-09-25Add bug reported by Norbert Schirmer.David Aspinall
2003-09-25Updated.David Aspinall
2003-09-25Fix another link.David Aspinall
2003-09-25Fix another linkDavid Aspinall
2003-09-25Fix linkDavid Aspinall
2003-09-25Updated.David Aspinall
2003-09-25Replace web mirror of repo with anon cvs descriptionDavid Aspinall
2003-09-25Updated.David Aspinall
2003-09-25Mention anon cvsDavid Aspinall
2003-09-25Updated from Kit repoDavid Aspinall
2003-09-25New files.David Aspinall
2003-09-25Updated.David Aspinall
2003-09-25Update XEmacs version.David Aspinall
2003-09-25Updated.David Aspinall
2003-09-25Swap charset to iso-8859-1David Aspinall
2003-09-25Fix Lambda-CLAM linkDavid Aspinall
2003-09-25Updated.David Aspinall
2003-09-25FixupDavid Aspinall
2003-09-25Problem with export, temp fixDavid Aspinall
2003-09-25Set version tag for new release.David Aspinall
2003-09-24Updated.David Aspinall
2003-09-24Include class attribute in PGIP commandsDavid Aspinall
2003-09-24Describe work currrently underway; distribute some docsDavid Aspinall
2003-09-24New files.David Aspinall
2003-09-24Updated.David Aspinall
2003-09-24Update to 4.5.1-beta from sourceforge.David Aspinall
2003-09-24Deleted fileDavid Aspinall
2003-09-24Updated from Kit repoDavid Aspinall
2003-09-24Notice about using cvs.inf insteadDavid Aspinall
2003-09-22Updated.David Aspinall
2003-09-05Yet another fix from Sebastian Skalberg.Stefan Berghofer
2003-08-29Corrected fix from Sebastian Skalberg.Stefan Berghofer
2003-08-28Fix from Sebastian Skalberg <skalberg@in.tum.de>David Aspinall
2003-08-20Fix SML comment syntax oopsDavid Aspinall
2003-08-19Use newer undo function ProofGeneral.undo (no output undo).David Aspinall
2003-07-01Updated from Kit repoDavid 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-16Updated.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-08Updated.David Aspinall
2003-06-08Set proof-shell-identifier-under-mouse-cmdDavid 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
2003-06-08Only give hint about C-c C-. if not already visibleDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-03 00:30:56 +0000