aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2000-03-19Added settings for silent control. Also some minor support for Section.David Aspinall
2000-03-19Added settings for silent control.David Aspinall
2000-03-19Improved LEGO walk-through somewhat. Also documented C-c C-BS.David Aspinall
2000-03-17proof-assistant-table: fixed spelling of comment;Makarius Wenzel
2000-03-14Set version tag for new release.David Aspinall
2000-03-14Note about useless output from CoqDavid Aspinall
2000-03-14UpdatedDavid Aspinall
2000-03-14Added proof-shell-{start,stop}-silent-cmd.David Aspinall
2000-03-13Getting reading for 3.1David Aspinall
2000-03-13Note of how to change branch version.David Aspinall
2000-03-13Updating branchDavid Aspinall
2000-03-13Branch update preparing for fourth release.David Aspinall
2000-03-13BUGS for Coq.David Aspinall
2000-03-13Note about diff HOL versions.David Aspinall
2000-03-13TypoDavid Aspinall
2000-03-13Fix parse error slipped through somehow.David Aspinall
2000-03-13Fix globbing. Not as powerful as I'd hoped.David Aspinall
2000-03-13Added hol98 to distribution.David Aspinall
2000-03-13Add hol98 to elisp dirs.David Aspinall
2000-03-13Set version tag for new release.David Aspinall
2000-03-13Added hol and new info files to packageDavid Aspinall
2000-03-13Added return value for proof-shell-maybe-erase-response. Bug report msg.David Aspinall
2000-03-13Added chapter on HOL. Info about hacky X-Symbol support. News about 3.1 rele...David Aspinall
2000-03-13Comment about proof-goals-display-qed-message mess.David Aspinall
2000-03-13Added proof-boring-face (default appearance is same as proof-debug-face). Com...David Aspinall
2000-03-13Updated web pages.David Aspinall
2000-03-13ImprovementsDavid Aspinall
2000-03-13New/updated information filesDavid Aspinall
2000-03-10Set version tag for new release.David Aspinall
2000-03-10UpdatedDavid Aspinall
2000-03-10TODOs for HOL.David Aspinall
2000-03-10Added decoration and syntax table entries.David Aspinall
2000-03-10Added mechanism for setting font-lock-keywords uniformly fromDavid Aspinall
2000-03-10Symbol for ==>David Aspinall
2000-03-10Updated versions.David Aspinall
2000-03-10News about HOL support.David Aspinall
2000-03-10Removed note to register from here.David Aspinall
2000-03-10Added note to register hereDavid Aspinall
2000-03-10Exp support is in ordinary release, Plastic is special case.David Aspinall
2000-03-10UpdatedDavid Aspinall
2000-03-10BrevityDavid Aspinall
2000-03-10DocstringsDavid Aspinall
2000-03-10Added menu item to switch to script buffer, C-c C-o key.David Aspinall
2000-03-10Use name of proof assistant in menu.David Aspinall
2000-03-10Names of shell, goals, script buffers now based on proof assistant nameDavid Aspinall
2000-03-10Comment.David Aspinall
2000-03-10boundp->fboundp. Fix test for proof-shell-process-connection-type.David Aspinall
2000-03-09added 'case', 'print_cases';Makarius Wenzel
2000-03-09Set version tag for new release.David Aspinall
2000-03-09Added project for HOL PGDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-12 15:03:02 +0000