aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Added keybinding, improved doc for proof-undo-and-delete-last-successful-comm...Gravatar David Aspinall2000-03-19
* UpdatedGravatar David Aspinall2000-03-19
* Added menu entry for proof-undo-and-delete-last-successful-commandGravatar David Aspinall2000-03-19
* Improved links, new project on ACS.Gravatar David Aspinall2000-03-19
* Added settings for silent control. Also some minor support for Section.Gravatar David Aspinall2000-03-19
* Added settings for silent control.Gravatar David Aspinall2000-03-19
* Improved LEGO walk-through somewhat. Also documented C-c C-BS.Gravatar David Aspinall2000-03-19
* proof-assistant-table: fixed spelling of comment;Gravatar Makarius Wenzel2000-03-17
* Set version tag for new release.Gravatar David Aspinall2000-03-14
* Note about useless output from CoqGravatar David Aspinall2000-03-14
* UpdatedGravatar David Aspinall2000-03-14
* Added proof-shell-{start,stop}-silent-cmd.Gravatar David Aspinall2000-03-14
* Getting reading for 3.1Gravatar David Aspinall2000-03-13
* Note of how to change branch version.Gravatar David Aspinall2000-03-13
* Updating branchGravatar David Aspinall2000-03-13
* Branch update preparing for fourth release.Gravatar David Aspinall2000-03-13
* BUGS for Coq.Gravatar David Aspinall2000-03-13
* Note about diff HOL versions.Gravatar David Aspinall2000-03-13
* TypoGravatar David Aspinall2000-03-13
* Fix parse error slipped through somehow.Gravatar David Aspinall2000-03-13
* Fix globbing. Not as powerful as I'd hoped.Gravatar David Aspinall2000-03-13
* Added hol98 to distribution.Gravatar David Aspinall2000-03-13
* Add hol98 to elisp dirs.Gravatar David Aspinall2000-03-13
* Set version tag for new release.Gravatar David Aspinall2000-03-13
* Added hol and new info files to packageGravatar David Aspinall2000-03-13
* Added return value for proof-shell-maybe-erase-response. Bug report msg.Gravatar David Aspinall2000-03-13
* Added chapter on HOL. Info about hacky X-Symbol support. News about 3.1 rele...Gravatar David Aspinall2000-03-13
* Comment about proof-goals-display-qed-message mess.Gravatar David Aspinall2000-03-13
* Added proof-boring-face (default appearance is same as proof-debug-face). Com...Gravatar David Aspinall2000-03-13
* Updated web pages.Gravatar David Aspinall2000-03-13
* ImprovementsGravatar David Aspinall2000-03-13
* New/updated information filesGravatar David Aspinall2000-03-13
* Set version tag for new release.Gravatar David Aspinall2000-03-10
* UpdatedGravatar David Aspinall2000-03-10
* TODOs for HOL.Gravatar David Aspinall2000-03-10
* Added decoration and syntax table entries.Gravatar David Aspinall2000-03-10
* Added mechanism for setting font-lock-keywords uniformly fromGravatar David Aspinall2000-03-10
* Symbol for ==>Gravatar David Aspinall2000-03-10
* Updated versions.Gravatar David Aspinall2000-03-10
* News about HOL support.Gravatar David Aspinall2000-03-10
* Removed note to register from here.Gravatar David Aspinall2000-03-10
* Added note to register hereGravatar David Aspinall2000-03-10
* Exp support is in ordinary release, Plastic is special case.Gravatar David Aspinall2000-03-10
* UpdatedGravatar David Aspinall2000-03-10
* BrevityGravatar David Aspinall2000-03-10
* DocstringsGravatar David Aspinall2000-03-10
* Added menu item to switch to script buffer, C-c C-o key.Gravatar David Aspinall2000-03-10
* Use name of proof assistant in menu.Gravatar David Aspinall2000-03-10
* Names of shell, goals, script buffers now based on proof assistant nameGravatar David Aspinall2000-03-10
* Comment.Gravatar David Aspinall2000-03-10
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 18:36:45 +0000