aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
1998-10-07Added to repository for convenience.David Aspinall
1998-10-07Added text logos.David Aspinall
1998-10-07Colorised the general!David Aspinall
1998-10-07Fixed validation errors. Added screenshot page.David Aspinall
1998-10-07Rough copyright notice cribbed from cwbDavid Aspinall
1998-10-07Note about COPYING.David Aspinall
1998-10-05da> BTW, the menus have disappeared!Thomas Kleymann
They are back courtesy of reintroducing an easy-menu-add call.
1998-10-02Moved menu definition back into proof-config-done.David Aspinall
1998-10-02Added automatic editing of download.htmlDavid Aspinall
1998-10-02Removed Emacs versions to more transient placeDavid Aspinall
1998-10-02Major revision after business lunch with daThomas Kleymann
1998-10-02changed maintainer information to lego@dcs and isabelle@dcs .Thomas Kleymann
1998-10-02Removed erroneous mention of an elisp directoryDavid Aspinall
1998-10-02Top-level README for distribution.David Aspinall
1998-10-02Removed duff key bindingsDavid Aspinall
1998-10-02Added $ to coq automode regexpDavid Aspinall
1998-10-02Improved (internal) documentation of multiple file handlingThomas Kleymann
1998-10-02put isabelle-users address in alphabetic orderThomas Kleymann
1998-10-02Added todo for proof-goal-command, proof-save-commandDavid Aspinall
1998-10-02added LEGO support for proof-goal-command and proof-save-commandThomas Kleymann
1998-10-02Added isabelle-users, mentioned toolbar.David Aspinall
1998-10-02draft for first pre-releaseThomas Kleymann
1998-10-01Updated maintainer tags to remove lego email address.David Aspinall
1998-10-01Removed top-level "dist" directory from RELEASEDIR.David Aspinall
1998-10-01Fixed for new header in coqtags.David Aspinall
1998-10-01Removed troublesome $Id$ header from .patch file: was gettingDavid Aspinall
expanded by cvs! Really this file should be marked as "binary."
1998-10-01Adjusted for older rpmDavid Aspinall
1998-10-01Updated for new path in coqtagsDavid Aspinall
1998-10-01Added todo for next/previous functions.David Aspinall
1998-10-01Added notes about toolbar and retract buglets.David Aspinall
1998-10-01Replaced string COMMENT by constant proof-no-command.David Aspinall
1998-10-01Added documentation for user-level functions.David Aspinall
1998-10-01Changed configuration. Added goal-command and save-command.David Aspinall
1998-10-01Added doc stringsDavid Aspinall
1998-10-01Added qed button. Fixed enabler predicates.David Aspinall
1998-10-01Added docstrings and comments.David Aspinall
Removed last of "not authorized for this documentation" nonsense. Replaced constant string "COMMENT" by proof-no-command. Begun work on new functions: proof-{next,previous}-matching-command. Work on proof-issue-goal, proof-issue-save (rough edges left as FIXMEs).
1998-10-01Updated.David Aspinall
1998-10-01Renamed fileDavid Aspinall
1998-10-01Added new imagesDavid Aspinall
1998-10-01coqtags is now Perl5 compatible - courtesy of hhgThomas Kleymann
1998-09-24Removed pdf target so build works on standard DCS machines.David Aspinall
1998-09-24Removed xcf files and image notes from distrib.David Aspinall
1998-09-24Added RPM targetsDavid Aspinall
1998-09-24Added X-rated item about distribution Makefile.David Aspinall
1998-09-24Moved info file and binaries to proper places.David Aspinall
1998-09-24Added INFO-DIR entryDavid Aspinall
1998-09-24Moved to /usr/lib/emacsDavid Aspinall
1998-09-24Added %cleanDavid Aspinall
1998-09-24Added note about changing perl path in {coq,lego}tags.David Aspinall
1998-09-24Removed .orig files after patchDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-24 22:48:00 +0000