aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)Author
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
1999-11-22proof-shell-done-invisible -> proof-done-invisible againDavid Aspinall
1999-11-22Added curious commentDavid Aspinall
1999-11-22Extend <var>-mode-hook for extra modes to call proof-x-symbol-mode.David Aspinall
1999-11-22Fix a couple of group names, and comments at top of file.David Aspinall
1999-11-22Moved goto button.David Aspinall
1999-11-22Improved nothing to do error messageDavid Aspinall
1999-11-22Fix a couple of group names, and comments at top of file.David Aspinall
1999-11-22Fix so clicking on url works in bug reportDavid Aspinall
1999-11-19Set version tag for new release.David Aspinall
1999-11-19TypoDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 07:14:04 +0000