aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2000-03-22Mention %e in doc for proof-shell-cd-cmd.David Aspinall
2000-03-22Added new customization: proof-shell-string-escapes.David Aspinall
2000-03-22Suggest links on same page.David Aspinall
2000-03-22transparent cd;Makarius Wenzel
2000-03-19removed "thence";Makarius Wenzel
2000-03-19Remove comma from section heading, bad for info.David Aspinall
2000-03-19Set version tag for new release.David Aspinall
2000-03-19Added proof-{mode}-font-lock-keywords configuration settings (used by easy-co...David Aspinall
2000-03-19Altered syntax a little bit so reset works for Section.David Aspinall
2000-03-19Updated.David Aspinall
2000-03-19UpdatedDavid Aspinall
2000-03-19Ack ETLDavid Aspinall
2000-03-19CommentDavid Aspinall
2000-03-19Added setting for silent mode.David Aspinall
2000-03-19More reliable prompt regexpDavid Aspinall
2000-03-19Added keybinding, improved doc for proof-undo-and-delete-last-successful-comm...David Aspinall
2000-03-19UpdatedDavid Aspinall
2000-03-19Added menu entry for proof-undo-and-delete-last-successful-commandDavid Aspinall
2000-03-19Improved links, new project on ACS.David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-19 04:33:29 +0000