aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
1999-11-22Don't deref links when copying doc, avoid error during export.David Aspinall
1999-11-22TypoDavid Aspinall
1999-11-22Set version tag for new release.David Aspinall
1999-11-22UpdatedDavid 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-22Image included (CVS default, add link to ../html/ProofGeneralPortrait.pdf)David Aspinall
1999-11-22Added link to pdf file.David Aspinall
1999-11-22Updates for X-Symbol support.David Aspinall
1999-11-22Added link during distdocs build to front page imageDavid Aspinall
1999-11-22Added curious commentDavid Aspinall
1999-11-22Added link to eps fileDavid Aspinall
1999-11-22Fixed conditional inclusion of image. Added pdf to distdoc.David Aspinall
1999-11-22UpdatedDavid Aspinall
1999-11-22File movedDavid Aspinall
1999-11-22File movedDavid Aspinall
1999-11-22Fixes for conditional inclusion of front page imageDavid Aspinall
1999-11-22Removed spurious etags target (tags already works better)David 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-19Fixed info probs. xrefs are a complete nonsense in info.David Aspinall
1999-11-19Magic updatedDavid Aspinall
1999-11-19UpdatedDavid Aspinall
1999-11-19TypoDavid Aspinall
1999-11-19Many updates and improvements (not finished yet)David Aspinall
1999-11-19Fixup branchDavid Aspinall
1999-11-19Renamed fileDavid Aspinall
1999-11-19Added simplified interaction sectionDavid Aspinall
1999-11-19Additions for pdf version; needs hack to my pdftexinfo.tex to workDavid Aspinall
1999-11-19More todo's??? Surely notDavid Aspinall
1999-11-19Fix for proof-script-new-command-advance.David Aspinall
1999-11-19UpdatedDavid Aspinall
1999-11-19Added goto buttonDavid Aspinall
1999-11-19Fix branchDavid Aspinall
1999-11-19New buttonDavid Aspinall
1999-11-19Added goto button.David Aspinall
1999-11-19Button for proof-goto-point action.David Aspinall
1999-11-19Added texi-docstring-magic-untabify to fix tabs in docstrings.David Aspinall
1999-11-19Added pbp-yank-subterm, changed mouse bindings for goals buffer.David Aspinall
1999-11-19docstringDavid Aspinall
1999-11-19Removed spurious defn of proof-config.elDavid Aspinall
1999-11-19Added by defvars x-symbol-isa-name, x-symbol-isa-modeline-name so can use thi...David Aspinall
1999-11-19Added note about C-c RET broken on console.David Aspinall
1999-11-19Fix proof-try-require for FSF Emacs.David Aspinall
1999-11-18Set version tag for new release.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-04 21:03:42 +0000