aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2000-03-09UpdatedDavid Aspinall
2000-03-09First bash at HOL support, working but barelyDavid Aspinall
2000-03-09Cleaned old linesDavid Aspinall
2000-03-09Added link to CHANGES on this pageDavid Aspinall
2000-03-09Only set page title if not already setDavid Aspinall
2000-03-09Standards for each instance.David Aspinall
2000-03-09Canonical web site mentioned.David Aspinall
2000-03-09Added proof-shell-process-connection-typeDavid Aspinall
2000-03-09UpdatedDavid Aspinall
2000-03-09Plans and ideas appendix no longer maintained, ref to web pageDavid Aspinall
2000-03-09Moved some comments to READMEDavid Aspinall
2000-03-09Detect default for proof-shell-process-connection-type by running unameDavid Aspinall
2000-03-09Added proof-shell-process-connection-type.David Aspinall
2000-03-09Added support for HOL98 PG.David Aspinall
2000-03-09Edited a tooltip.David Aspinall
2000-03-09Updated headers.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-19 01:13:43 +0000