aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
1999-09-13Mention Yves Bertot on about pageDavid Aspinall
1999-09-13Emphasised that user can still use the shellDavid Aspinall
1999-09-13No longer cutting edge, really.David Aspinall
1999-09-13Added plastic to elisp dirs and cleanup backup files.David Aspinall
1999-09-13Experimental fix for proof-shell-completed flag clearing.David Aspinall
1999-09-13Added new toolbar buttons, streamlined code to work from a tableDavid Aspinall
1999-09-13Added new buttons. (xbm files currently missing, some icons not made yet, ↵David Aspinall
confusingly copied old ones.
1999-09-13Mentioned toolbar enabler potential problemsDavid Aspinall
1999-09-13UpdatedDavid Aspinall
1999-09-13Added proof-terminal-string to proof-execute-minibuffer-cmd.David Aspinall
1999-09-13Reorganized and formatted, added some items.David Aspinall
1999-09-13XEmacs 21 fixes for documentation of function menuDavid Aspinall
1999-09-13Mention splash screen and that XEmacs can't display transparent gifsDavid Aspinall
1999-09-13Mention problem with Ctrl-C and ssh.David Aspinall
1999-09-13Removed transparent gif from splash screen because XEmacs can'tDavid Aspinall
display it nicely.
1999-09-13Cleaned up example files so all demonstrate same theorem "conj_comms".David Aspinall
Would be nice to add more theorems to compare scripts in different systems.
1999-09-13docstring improvements for proof-guess-command-nameDavid Aspinall
1999-09-13Made a release (ProofGeneral.spec, proof-site.el, download.phtml)David Aspinall
Makefile.devel: fixed fakerelease doc/Makefile: Don't attempt page rearrangement if dviutils not present
1999-09-13Set proof-{qed,save}-commands.David Aspinall
1999-09-13Fix so that buffer names are shorter (esp for Coq).David Aspinall
A fixed version of Patrick's earlier patch.
1999-09-09tuned x-symbol setup (DvO);Makarius Wenzel
1999-09-03proof-shell-restart-cmd: include welcome;Makarius Wenzel
1999-09-03added bind_thms;Makarius Wenzel
added no_qed; more tacticals; removed isa-tactics (didn't make much sense); isa-goal-command-regexp accomodates "val ... =" part;
1999-09-03usage: tell PROOFGENERAL_OPTIONS;Makarius Wenzel
-u true by default;
1999-09-03da: improved comment;Makarius Wenzel
1999-08-29fixed isar-find-and-forget (proper handling of multiple undos);Makarius Wenzel
1999-08-29tuned;Makarius Wenzel
1999-08-29added ALLGOALS;Makarius Wenzel
1999-08-27Typo (I think)David Aspinall
1999-08-27Note about volumeDavid Aspinall
1999-08-27Set version tag for new release.David Aspinall
1999-08-27wordingDavid Aspinall
1999-08-27updatedDavid Aspinall
1999-08-27Added more macros to generalise MakefileDavid Aspinall
1999-08-27UpdatedDavid Aspinall
1999-08-27Added galleryDavid Aspinall
1999-08-27New images for galleryDavid Aspinall
1999-08-27Record of releasesDavid Aspinall
1999-08-27Updated for 2.1David Aspinall
1999-08-27Changed for version 2.2 pre-release.David Aspinall
1999-08-27UpdatedDavid Aspinall
1999-08-25added qed_spec_mp;Makarius Wenzel
1999-08-25Fixed to include isar in distribution; made relocatable.David Aspinall
1999-08-24Set version tag for new release.David Aspinall
1999-08-24Altered release date for 2.1.David Aspinall
1999-08-24Fixed version variable name.David Aspinall
1999-08-24Attempted fix of FSFmacs problem, left as commentDavid Aspinall
1999-08-24DocstringDavid Aspinall
1999-08-24Reverted to 2.1 changesDavid Aspinall
1999-08-24UpdatedDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-20 05:07:51 +0000