aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Set version tag for new release.Gravatar David Aspinall2000-02-15
* New canonical URL for PG.Gravatar David Aspinall2000-02-15
* Set version tag for new release.Gravatar David Aspinall2000-02-09
* Added proof-shell-pre-interrupt-hookGravatar David Aspinall2000-02-09
* Set version tag for new release.Gravatar David Aspinall2000-01-26
* Temporary fix for problem with Emacs 20.5 reported by PierreGravatar David Aspinall2000-01-25
* Set version tag for new release.Gravatar David Aspinall2000-01-20
* Set version tag for new release.Gravatar David Aspinall2000-01-12
* Attempted fix for thy-mode X-Symbol problems. Still buggy.Gravatar David Aspinall2000-01-12
* Set version tag for new release.Gravatar David Aspinall2000-01-06
* Set version tag for new release.Gravatar David Aspinall1999-12-16
* Set version tag for new release.Gravatar David Aspinall1999-12-14
* Set version tag for new release.Gravatar David Aspinall1999-12-13
* Set version tag for new release.Gravatar David Aspinall1999-12-03
* Set version tag for new release.Gravatar David Aspinall1999-12-01
* Set version tag for new release.Gravatar David Aspinall1999-11-30
* Set version tag for new release.Gravatar David Aspinall1999-11-30
* Set version tag for new release.Gravatar David Aspinall1999-11-30
* Set version tag for new release.Gravatar David Aspinall1999-11-30
* Set version tag for new release.Gravatar David Aspinall1999-11-29
* Set version tag for new release.Gravatar David Aspinall1999-11-29
* TypoGravatar David Aspinall1999-11-29
* Comments about improved handling of urgent message markers, followingGravatar David Aspinall1999-11-29
* Set version tag for new release.Gravatar David Aspinall1999-11-26
* Set version tag for new release.Gravatar David Aspinall1999-11-26
* Typos.Gravatar David Aspinall1999-11-26
* Set version tag for new release.Gravatar David Aspinall1999-11-25
* DocstringGravatar David Aspinall1999-11-24
* More docstring for proof-customize-toggle.Gravatar David Aspinall1999-11-24
* Improved docstrings. Generalised proof-set-bool -> proof-set-value.Gravatar David Aspinall1999-11-24
* Set version tag for new release.Gravatar David Aspinall1999-11-24
* Fixed extending queue bug. Many docstring improvementsGravatar David Aspinall1999-11-24
* Moved proof-analyse-using-stack to proof-config. Added docstrings for pbp fu...Gravatar David Aspinall1999-11-24
* Docstrings.Gravatar David Aspinall1999-11-24
* Many fixes to docstrings and comments. Added proof-analyse-using-stack here.Gravatar David Aspinall1999-11-24
* Recognize and label macros.Gravatar David Aspinall1999-11-24
* Set version tag for new release.Gravatar David Aspinall1999-11-23
* Rearrange comments.Gravatar David Aspinall1999-11-23
* docstring improvementGravatar David Aspinall1999-11-23
* Fixed bug introduced by hacking proof-only-whitespace-to-locked-region-p.Gravatar David Aspinall1999-11-23
* Don't bind button1 in goals buffer, so cut and paste still work.Gravatar David Aspinall1999-11-23
* Make sure 8bits and coding are unset in proof-x-symbol-encode-shell-input.Gravatar David Aspinall1999-11-23
* Set version tag for new release.Gravatar David Aspinall1999-11-22
* Renamed proof-auto-delete-windows -> proof-delete-empty-windowsGravatar David Aspinall1999-11-22
* proof-shell-done-invisible -> proof-done-invisible againGravatar David Aspinall1999-11-22
* Added curious commentGravatar David Aspinall1999-11-22
* Extend <var>-mode-hook for extra modes to call proof-x-symbol-mode.Gravatar David Aspinall1999-11-22
* Fix a couple of group names, and comments at top of file.Gravatar David Aspinall1999-11-22
* Moved goto button.Gravatar David Aspinall1999-11-22
* Improved nothing to do error messageGravatar David Aspinall1999-11-22
generated by cgit v1.2.3 (git 2.39.1) at 2024-10-01 10:52:52 +0000