aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Forced process-connection-type always to nil, after all. May not be an issue...Gravatar David Aspinall2000-02-29
* Set version tag for new release.Gravatar David Aspinall2000-02-28
* Added back ^G fix for Solaris, but not for non-mule FSF.Gravatar David Aspinall2000-02-28
* Add definition of warn function for FSF compatibility.Gravatar David Aspinall2000-02-28
* Set version tag for new release.Gravatar David Aspinall2000-02-24
* Set version tag for new release.Gravatar David Aspinall2000-02-17
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-05 05:37:57 +0000