aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)Author
2000-02-29Forced process-connection-type always to nil, after all. May not be an issue...David Aspinall
2000-02-28Set version tag for new release.David Aspinall
2000-02-28Added back ^G fix for Solaris, but not for non-mule FSF.David Aspinall
2000-02-28Add definition of warn function for FSF compatibility.David Aspinall
2000-02-24Set version tag for new release.David Aspinall
2000-02-17Set version tag for new release.David Aspinall
2000-02-15Set version tag for new release.David Aspinall
2000-02-15New canonical URL for PG.David Aspinall
2000-02-09Set version tag for new release.David Aspinall
2000-02-09Added proof-shell-pre-interrupt-hookDavid Aspinall
2000-01-26Set version tag for new release.David Aspinall
2000-01-25Temporary fix for problem with Emacs 20.5 reported by PierreDavid Aspinall
2000-01-20Set version tag for new release.David Aspinall
2000-01-12Set version tag for new release.David Aspinall
2000-01-12Attempted fix for thy-mode X-Symbol problems. Still buggy.David Aspinall
2000-01-06Set version tag for new release.David Aspinall
1999-12-16Set version tag for new release.David Aspinall
1999-12-14Set version tag for new release.David Aspinall
1999-12-13Set version tag for new release.David Aspinall
1999-12-03Set version tag for new release.David Aspinall
1999-12-01Set version tag for new release.David Aspinall
1999-11-30Set version tag for new release.David Aspinall
1999-11-30Set version tag for new release.David Aspinall
1999-11-30Set version tag for new release.David Aspinall
1999-11-30Set version tag for new release.David Aspinall
1999-11-29Set version tag for new release.David Aspinall
1999-11-29Set version tag for new release.David Aspinall
1999-11-29TypoDavid Aspinall
1999-11-29Comments about improved handling of urgent message markers, followingDavid Aspinall
1999-11-26Set version tag for new release.David Aspinall
1999-11-26Set version tag for new release.David Aspinall
1999-11-26Typos.David Aspinall
1999-11-25Set version tag for new release.David Aspinall
1999-11-24DocstringDavid Aspinall
1999-11-24More docstring for proof-customize-toggle.David Aspinall
1999-11-24Improved docstrings. Generalised proof-set-bool -> proof-set-value.David Aspinall
1999-11-24Set version tag for new release.David Aspinall
1999-11-24Fixed extending queue bug. Many docstring improvementsDavid Aspinall
1999-11-24Moved proof-analyse-using-stack to proof-config. Added docstrings for pbp fu...David Aspinall
1999-11-24Docstrings.David Aspinall
1999-11-24Many fixes to docstrings and comments. Added proof-analyse-using-stack here.David Aspinall
1999-11-24Recognize and label macros.David Aspinall
1999-11-23Set version tag for new release.David Aspinall
1999-11-23Rearrange comments.David Aspinall
1999-11-23docstring improvementDavid Aspinall
1999-11-23Fixed bug introduced by hacking proof-only-whitespace-to-locked-region-p.David Aspinall
1999-11-23Don't bind button1 in goals buffer, so cut and paste still work.David Aspinall
1999-11-23Make sure 8bits and coding are unset in proof-x-symbol-encode-shell-input.David Aspinall
1999-11-22Set version tag for new release.David Aspinall
1999-11-22Renamed proof-auto-delete-windows -> proof-delete-empty-windowsDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-12 16:43:39 +0000