aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* XEmacs 21 fixes for documentation of function menuGravatar David Aspinall1999-09-13
* Mention splash screen and that XEmacs can't display transparent gifsGravatar David Aspinall1999-09-13
* Mention problem with Ctrl-C and ssh.Gravatar David Aspinall1999-09-13
* Removed transparent gif from splash screen because XEmacs can'tGravatar David Aspinall1999-09-13
* Cleaned up example files so all demonstrate same theorem "conj_comms".Gravatar David Aspinall1999-09-13
* docstring improvements for proof-guess-command-nameGravatar David Aspinall1999-09-13
* Made a release (ProofGeneral.spec, proof-site.el, download.phtml)Gravatar David Aspinall1999-09-13
* Set proof-{qed,save}-commands.Gravatar David Aspinall1999-09-13
* Fix so that buffer names are shorter (esp for Coq).Gravatar David Aspinall1999-09-13
* tuned x-symbol setup (DvO);Gravatar Makarius Wenzel1999-09-09
* proof-shell-restart-cmd: include welcome;Gravatar Makarius Wenzel1999-09-03
* added bind_thms;Gravatar Makarius Wenzel1999-09-03
* usage: tell PROOFGENERAL_OPTIONS;Gravatar Makarius Wenzel1999-09-03
* da: improved comment;Gravatar Makarius Wenzel1999-09-03
* fixed isar-find-and-forget (proper handling of multiple undos);Gravatar Makarius Wenzel1999-08-29
* tuned;Gravatar Makarius Wenzel1999-08-29
* added ALLGOALS;Gravatar Makarius Wenzel1999-08-29
* Typo (I think)Gravatar David Aspinall1999-08-27
* Note about volumeGravatar David Aspinall1999-08-27
* Set version tag for new release.Gravatar David Aspinall1999-08-27
* wordingGravatar David Aspinall1999-08-27
* updatedGravatar David Aspinall1999-08-27
* Added more macros to generalise MakefileGravatar David Aspinall1999-08-27
* UpdatedGravatar David Aspinall1999-08-27
* Added galleryGravatar David Aspinall1999-08-27
* New images for galleryGravatar David Aspinall1999-08-27
* Record of releasesGravatar David Aspinall1999-08-27
* Updated for 2.1Gravatar David Aspinall1999-08-27
* Changed for version 2.2 pre-release.Gravatar David Aspinall1999-08-27
* UpdatedGravatar David Aspinall1999-08-27
* added qed_spec_mp;Gravatar Makarius Wenzel1999-08-25
* Fixed to include isar in distribution; made relocatable.Gravatar David Aspinall1999-08-25
* Set version tag for new release.Gravatar David Aspinall1999-08-24
* Altered release date for 2.1.Gravatar David Aspinall1999-08-24
* Fixed version variable name.Gravatar David Aspinall1999-08-24
* Attempted fix of FSFmacs problem, left as commentGravatar David Aspinall1999-08-24
* DocstringGravatar David Aspinall1999-08-24
* Reverted to 2.1 changesGravatar David Aspinall1999-08-24
* UpdatedGravatar David Aspinall1999-08-24
* enabled isar/;Gravatar Makarius Wenzel1999-08-24
* enabled isar;Gravatar Makarius Wenzel1999-08-24
* isar-response-mode;Gravatar Makarius Wenzel1999-08-24
* some output syntax;Gravatar Makarius Wenzel1999-08-24
* Updated from Coq 6.3 distrib.Gravatar David Aspinall1999-08-23
* Set version tag for new release.Gravatar David Aspinall1999-08-23
* FIXME to add menu to goals buffer, to match response buffer menu.Gravatar David Aspinall1999-08-23
* Changes for 2.3 series pre-releases.Gravatar David Aspinall1999-08-23
* Set version tag for new release.Gravatar David Aspinall1999-08-23
* Maintainer addressesGravatar David Aspinall1999-08-23
* Very soon now = nowGravatar David Aspinall1999-08-23
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 15:26:35 +0000