aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
1999-08-24isar-response-mode;Makarius Wenzel
1999-08-24some output syntax;Makarius Wenzel
1999-08-23Updated from Coq 6.3 distrib.David Aspinall
1999-08-23Set version tag for new release.David Aspinall
1999-08-23FIXME to add menu to goals buffer, to match response buffer menu.David Aspinall
1999-08-23Changes for 2.3 series pre-releases.David Aspinall
1999-08-23Set version tag for new release.David Aspinall
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
Isabelle output.
1999-08-23Improved syntax by copying from isar-syntax.el.David Aspinall
Begun on section for Isabelle output syntax.
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
Check that there is active scripting buffer, in Isabelle there might not be.
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
(interrupts may appear like error messages in Isabelle/Isar);
1999-08-20print_context;Makarius Wenzel
fixed proof-shell-interrupt-regexp;
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-25 12:01:30 +0000