aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* Fix Lambda-CLAM linkGravatar David Aspinall2003-09-25
* Updated.Gravatar David Aspinall2003-09-25
* FixupGravatar David Aspinall2003-09-25
* Problem with export, temp fixGravatar David Aspinall2003-09-25
* Set version tag for new release.Gravatar David Aspinall2003-09-25
* Updated.Gravatar David Aspinall2003-09-24
* Include class attribute in PGIP commandsGravatar David Aspinall2003-09-24
* Describe work currrently underway; distribute some docsGravatar David Aspinall2003-09-24
* New files.Gravatar David Aspinall2003-09-24
* Updated.Gravatar David Aspinall2003-09-24
* Update to 4.5.1-beta from sourceforge.Gravatar David Aspinall2003-09-24
* Deleted fileGravatar David Aspinall2003-09-24
* Updated from Kit repoGravatar David Aspinall2003-09-24
* Notice about using cvs.inf insteadGravatar David Aspinall2003-09-24
* Updated.Gravatar David Aspinall2003-09-22
* Yet another fix from Sebastian Skalberg.Gravatar Stefan Berghofer2003-09-05
* Corrected fix from Sebastian Skalberg.Gravatar Stefan Berghofer2003-08-29
* Fix from Sebastian Skalberg <skalberg@in.tum.de>Gravatar David Aspinall2003-08-28
* Fix SML comment syntax oopsGravatar David Aspinall2003-08-20
* Use newer undo function ProofGeneral.undo (no output undo).Gravatar David Aspinall2003-08-19
* Updated from Kit repoGravatar David Aspinall2003-07-01
* Add idle timer to cleanup tracing display.Gravatar David Aspinall2003-06-19
* Give text default for hidden proof image.Gravatar David Aspinall2003-06-16
* Updated.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
* Updated.Gravatar David Aspinall2003-06-08
* Set proof-shell-identifier-under-mouse-cmdGravatar 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
* Update magicGravatar David Aspinall2003-06-05
* Typo; update magicGravatar David Aspinall2003-06-05
* Make find-and-forget robust for proverproc regionsGravatar David Aspinall2003-06-05
* Simplify mark-buffer-atomic to just make 'proverproc span.Gravatar David Aspinall2003-06-05
* Updated.Gravatar David Aspinall2003-06-05
* By default, do not move pointer on interrupt, only error; tune hints for spansGravatar David Aspinall2003-06-05
* Updated.Gravatar David Aspinall2003-05-28
* Add Gerwin and Stefan canonical emails to ChangeLog generationGravatar David Aspinall2003-05-28
* proof-strict-read-only: only alter locked span if live (bug fix)Gravatar David Aspinall2003-05-28
* Updated.Gravatar David Aspinall2003-05-24
* Set version tag for new release.Gravatar David Aspinall2003-05-24
generated by cgit v1.2.3 (git 2.39.1) at 2024-08-21 06:31:26 +0000