aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
1999-08-23Maintainer addressesDavid Aspinall
1999-08-23Very soon now = nowDavid Aspinall
1999-08-23New itemsDavid Aspinall
1999-08-23Mentioned a few testsDavid Aspinall
1999-08-23UpdatedDavid Aspinall
1999-08-23Updated.David Aspinall
1999-08-23Disable properly if x-symbol is not available.David Aspinall
1999-08-23fixed comment;Makarius Wenzel
1999-08-23Updates suggested by Markus and Patrick for Coq 6.3.David Aspinall
1999-08-23Integrated patch from David von Oheimb.David Aspinall
1999-08-23Set version tag for new release.David Aspinall
1999-08-23Fix for toolbar disable for FSF Emacs.David Aspinall
1999-08-23proof-version -> proof-general-versionDavid Aspinall
1999-08-23Updates.David Aspinall
1999-08-23Mentioned C-c C-a being broken. XEmacs 20.4 or later.David Aspinall
1999-08-23Other usability improvementsDavid Aspinall
1999-08-23Added font-lock keywords and syntax table setup for buffers displayingDavid Aspinall
1999-08-23Improved syntax by copying from isar-syntax.el.David Aspinall
1999-08-23font-lock-function-face -> font-lock-function-name-faceDavid Aspinall
1999-08-23print_context;Makarius Wenzel
1999-08-20Admit that unstable means bugs.David Aspinall
1999-08-20Remove temporary fileDavid Aspinall
1999-08-20Updated prover versionsDavid Aspinall
1999-08-20Mentioned zermelo as temporary serverDavid Aspinall
1999-08-20Mentioned latest bugs reported by Munchen correspondentsDavid Aspinall
1999-08-20Disabled binder regexp font lockingDavid Aspinall
1999-08-20proof-goto-end-of-locked-if-pos-not-visible-in-window:David Aspinall
1999-08-20updated.David Aspinall
1999-08-20Date updated.David Aspinall
1999-08-20Tweaks for 2.1 releaseDavid Aspinall
1999-08-20Fix for process kill timeout bug.David Aspinall
1999-08-20Changes for PG 2.1David Aspinall
1999-08-20Improvement for C-c C-o mentionedDavid Aspinall
1999-08-20Set version tag for new release.David Aspinall
1999-08-20eliminated superficial ';'s;Makarius Wenzel
1999-08-20prefer proof-shell-interrupt-regexp over proof-shell-error-regexpMakarius Wenzel
1999-08-20print_context;Makarius Wenzel
1999-08-20Added todo for pre 2.1 testingDavid Aspinall
1999-08-20Default background colour for toolbar buttons added.David Aspinall
1999-08-20update by DvO;Makarius Wenzel
1999-08-20ignore fileDavid Aspinall
1999-08-20Fix for XEmacs 21David Aspinall
1999-08-19based on Pure rather than Main (which didn't work because of Pure/CPure clash);Makarius Wenzel
1999-08-19Set version tag for new release.David Aspinall
1999-08-19Adjustments to remove .eps picture from frontDavid Aspinall
1999-08-19Instructions for docsDavid Aspinall
1999-08-19Removed .eps.gz file from distrib to make it much smallerDavid Aspinall
1999-08-19Date changeDavid Aspinall
1999-08-18tuned;Makarius Wenzel
1999-08-18proof-shell-start-goals-regexp: include \n;Makarius Wenzel
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 09:03:32 +0000