aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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-24Recommend the ps file over the pdf.David Aspinall
1999-11-24UpdatedDavid Aspinall
1999-11-23Set version tag for new release.David Aspinall
1999-11-23Clarify formats available.David Aspinall
1999-11-23Rearrange comments.David Aspinall
1999-11-23Fix X-Symbol nameDavid Aspinall
1999-11-23docstring improvementDavid Aspinall
1999-11-23UpdatedDavid Aspinall
1999-11-23Fixed bug introduced by hacking proof-only-whitespace-to-locked-region-p.David Aspinall
1999-11-23UpdatesDavid Aspinall
1999-11-23Include pdf doc in distribution area, though.David Aspinall
1999-11-23Removed ps.gz from distrib.David Aspinall
1999-11-23Don't bind button1 in goals buffer, so cut and paste still work.David Aspinall
1999-11-23Mention path of bash in interface scriptsDavid Aspinall
1999-11-23Mention problem with MLWorks on SolarisDavid Aspinall
1999-11-23Make sure 8bits and coding are unset in proof-x-symbol-encode-shell-input.David Aspinall
1999-11-23More notes about x-sym fixesDavid Aspinall
1999-11-23Patch to proof-shell-proof-completed-regexp to prevent overflow, sent by MarkusDavid Aspinall
1999-11-22tuned faces;Makarius Wenzel
1999-11-22Instead, remove doc/ from top-level of distdir.David Aspinall
1999-11-22*Do* deref links again when copying doc.David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-19 23:06:33 +0000