aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Added for convenience.Gravatar David Aspinall1998-10-07
* Makefile for generating various image formats.Gravatar David Aspinall1998-10-07
* Added to repository for convenience.Gravatar David Aspinall1998-10-07
* Added text logos.Gravatar David Aspinall1998-10-07
* Colorised the general!Gravatar David Aspinall1998-10-07
* Fixed validation errors. Added screenshot page.Gravatar David Aspinall1998-10-07
* Rough copyright notice cribbed from cwbGravatar David Aspinall1998-10-07
* Note about COPYING.Gravatar David Aspinall1998-10-07
* da> BTW, the menus have disappeared!Gravatar Thomas Kleymann1998-10-05
* Moved menu definition back into proof-config-done.Gravatar David Aspinall1998-10-02
* Added automatic editing of download.htmlGravatar David Aspinall1998-10-02
* Removed Emacs versions to more transient placeGravatar David Aspinall1998-10-02
* Major revision after business lunch with daGravatar Thomas Kleymann1998-10-02
* changed maintainer information to lego@dcs and isabelle@dcs .Gravatar Thomas Kleymann1998-10-02
* Removed erroneous mention of an elisp directoryGravatar David Aspinall1998-10-02
* Top-level README for distribution.Gravatar David Aspinall1998-10-02
* Removed duff key bindingsGravatar David Aspinall1998-10-02
* Added $ to coq automode regexpGravatar David Aspinall1998-10-02
* Improved (internal) documentation of multiple file handlingGravatar Thomas Kleymann1998-10-02
* put isabelle-users address in alphabetic orderGravatar Thomas Kleymann1998-10-02
* Added todo for proof-goal-command, proof-save-commandGravatar David Aspinall1998-10-02
* added LEGO support for proof-goal-command and proof-save-commandGravatar Thomas Kleymann1998-10-02
* Added isabelle-users, mentioned toolbar.Gravatar David Aspinall1998-10-02
* draft for first pre-releaseGravatar Thomas Kleymann1998-10-02
* Updated maintainer tags to remove lego email address.Gravatar David Aspinall1998-10-01
* Removed top-level "dist" directory from RELEASEDIR.Gravatar David Aspinall1998-10-01
* Fixed for new header in coqtags.Gravatar David Aspinall1998-10-01
* Removed troublesome $Id$ header from .patch file: was gettingGravatar David Aspinall1998-10-01
* Adjusted for older rpmGravatar David Aspinall1998-10-01
* Updated for new path in coqtagsGravatar David Aspinall1998-10-01
* Added todo for next/previous functions.Gravatar David Aspinall1998-10-01
* Added notes about toolbar and retract buglets.Gravatar David Aspinall1998-10-01
* Replaced string COMMENT by constant proof-no-command.Gravatar David Aspinall1998-10-01
* Added documentation for user-level functions.Gravatar David Aspinall1998-10-01
* Changed configuration. Added goal-command and save-command.Gravatar David Aspinall1998-10-01
* Added doc stringsGravatar David Aspinall1998-10-01
* Added qed button. Fixed enabler predicates.Gravatar David Aspinall1998-10-01
* Added docstrings and comments.Gravatar David Aspinall1998-10-01
* Updated.Gravatar David Aspinall1998-10-01
* Renamed fileGravatar David Aspinall1998-10-01
* Added new imagesGravatar David Aspinall1998-10-01
* coqtags is now Perl5 compatible - courtesy of hhgGravatar Thomas Kleymann1998-10-01
* Removed pdf target so build works on standard DCS machines.Gravatar David Aspinall1998-09-24
* Removed xcf files and image notes from distrib.Gravatar David Aspinall1998-09-24
* Added RPM targetsGravatar David Aspinall1998-09-24
* Added X-rated item about distribution Makefile.Gravatar David Aspinall1998-09-24
* Moved info file and binaries to proper places.Gravatar David Aspinall1998-09-24
* Added INFO-DIR entryGravatar David Aspinall1998-09-24
* Moved to /usr/lib/emacsGravatar David Aspinall1998-09-24
* Added %cleanGravatar David Aspinall1998-09-24
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-23 18:31:18 +0000