aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* No longer cutting edge, really.Gravatar David Aspinall1999-09-13
* Added plastic to elisp dirs and cleanup backup files.Gravatar David Aspinall1999-09-13
* Experimental fix for proof-shell-completed flag clearing.Gravatar David Aspinall1999-09-13
* Added new toolbar buttons, streamlined code to work from a tableGravatar David Aspinall1999-09-13
* Added new buttons. (xbm files currently missing, some icons not made yet, co...Gravatar David Aspinall1999-09-13
* Mentioned toolbar enabler potential problemsGravatar David Aspinall1999-09-13
* UpdatedGravatar David Aspinall1999-09-13
* Added proof-terminal-string to proof-execute-minibuffer-cmd.Gravatar David Aspinall1999-09-13
* Reorganized and formatted, added some items.Gravatar David Aspinall1999-09-13
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-01 22:45:47 +0000