aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Mention problem with MLWorks on SolarisGravatar David Aspinall1999-11-23
* Make sure 8bits and coding are unset in proof-x-symbol-encode-shell-input.Gravatar David Aspinall1999-11-23
* More notes about x-sym fixesGravatar David Aspinall1999-11-23
* Patch to proof-shell-proof-completed-regexp to prevent overflow, sent by MarkusGravatar David Aspinall1999-11-23
* tuned faces;Gravatar Makarius Wenzel1999-11-22
* Instead, remove doc/ from top-level of distdir.Gravatar David Aspinall1999-11-22
* *Do* deref links again when copying doc.Gravatar David Aspinall1999-11-22
* Don't deref links when copying doc, avoid error during export.Gravatar David Aspinall1999-11-22
* TypoGravatar David Aspinall1999-11-22
* Set version tag for new release.Gravatar David Aspinall1999-11-22
* UpdatedGravatar David Aspinall1999-11-22
* Renamed proof-auto-delete-windows -> proof-delete-empty-windowsGravatar David Aspinall1999-11-22
* proof-shell-done-invisible -> proof-done-invisible againGravatar David Aspinall1999-11-22
* Image included (CVS default, add link to ../html/ProofGeneralPortrait.pdf)Gravatar David Aspinall1999-11-22
* Added link to pdf file.Gravatar David Aspinall1999-11-22
* Updates for X-Symbol support.Gravatar David Aspinall1999-11-22
* Added link during distdocs build to front page imageGravatar David Aspinall1999-11-22
* Added curious commentGravatar David Aspinall1999-11-22
* Added link to eps fileGravatar David Aspinall1999-11-22
* Fixed conditional inclusion of image. Added pdf to distdoc.Gravatar David Aspinall1999-11-22
* UpdatedGravatar David Aspinall1999-11-22
* File movedGravatar David Aspinall1999-11-22
* File movedGravatar David Aspinall1999-11-22
* Fixes for conditional inclusion of front page imageGravatar David Aspinall1999-11-22
* Removed spurious etags target (tags already works better)Gravatar David Aspinall1999-11-22
* Extend <var>-mode-hook for extra modes to call proof-x-symbol-mode.Gravatar David Aspinall1999-11-22
* Fix a couple of group names, and comments at top of file.Gravatar David Aspinall1999-11-22
* Moved goto button.Gravatar David Aspinall1999-11-22
* Improved nothing to do error messageGravatar David Aspinall1999-11-22
* Fix a couple of group names, and comments at top of file.Gravatar David Aspinall1999-11-22
* Fix so clicking on url works in bug reportGravatar David Aspinall1999-11-22
* Set version tag for new release.Gravatar David Aspinall1999-11-19
* Fixed info probs. xrefs are a complete nonsense in info.Gravatar David Aspinall1999-11-19
* Magic updatedGravatar David Aspinall1999-11-19
* UpdatedGravatar David Aspinall1999-11-19
* TypoGravatar David Aspinall1999-11-19
* Many updates and improvements (not finished yet)Gravatar David Aspinall1999-11-19
* Fixup branchGravatar David Aspinall1999-11-19
* Renamed fileGravatar David Aspinall1999-11-19
* Added simplified interaction sectionGravatar David Aspinall1999-11-19
* Additions for pdf version; needs hack to my pdftexinfo.tex to workGravatar David Aspinall1999-11-19
* More todo's??? Surely notGravatar David Aspinall1999-11-19
* Fix for proof-script-new-command-advance.Gravatar David Aspinall1999-11-19
* UpdatedGravatar David Aspinall1999-11-19
* Added goto buttonGravatar David Aspinall1999-11-19
* Fix branchGravatar David Aspinall1999-11-19
* New buttonGravatar David Aspinall1999-11-19
* Added goto button.Gravatar David Aspinall1999-11-19
* Button for proof-goto-point action.Gravatar David Aspinall1999-11-19
* Added texi-docstring-magic-untabify to fix tabs in docstrings.Gravatar David Aspinall1999-11-19
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-09 11:31:59 +0000