aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
1999-11-25Add portrait file to IGNOREDFILES.David Aspinall
1999-11-25Set version tag for new release.David Aspinall
1999-11-25Switch CVS remote access to faster machine, scar.David Aspinall
1999-11-25Fixed credits list.David Aspinall
1999-11-25Updated for 3.0 release.David Aspinall
1999-11-25Fix IGNOREDFILES to be a list of patterns to ignore, rather than files.David Aspinall
1999-11-25Comment about fonts. Fix info dir formattingDavid Aspinall
1999-11-25Fix link to image file.David Aspinall
1999-11-25Added note about non-proof .ML files.David Aspinall
1999-11-25UpdatedDavid Aspinall
1999-11-25UpdatedDavid Aspinall
1999-11-25More improvements.David Aspinall
1999-11-25Added date stamp to version variable in full releases.David Aspinall
1999-11-24UpdatedDavid Aspinall
1999-11-24DocstringDavid Aspinall
1999-11-24More docstring for proof-customize-toggle.David Aspinall
1999-11-24Made thy-indent-level a user opt.David Aspinall
1999-11-24Improved docstrings. Generalised proof-set-bool -> proof-set-value.David Aspinall
1999-11-24Polished draft.David Aspinall
1999-11-24Set version tag for new release.David Aspinall
1999-11-24Many improvements.David Aspinall
1999-11-24Bug fix in regexp.David Aspinall
1999-11-24UpdatedDavid Aspinall
1999-11-24Fixed extending queue bug.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-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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-12 09:26:12 +0000