aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Adjusted so make clean gives clean output from cvs update.Gravatar David Aspinall1998-10-07
* Disabled tags support for Isabelle.Gravatar David Aspinall1998-10-07
* Renamed isa-thy-* to thy-*Gravatar David Aspinall1998-10-07
* Added more documentation.Gravatar David Aspinall1998-10-07
* Added detection of less than 16 bit colour depth to display 8bitGravatar David Aspinall1998-10-07
* Munged name of customization variables so that menus display nicely.Gravatar David Aspinall1998-10-07
* Removed lego-settings defgroup, changed to lego.Gravatar David Aspinall1998-10-07
* Removed coq-settings defgroup, changed to coq.Gravatar David Aspinall1998-10-07
* Added text logos. Menu now appears in screenshot.Gravatar David Aspinall1998-10-07
* New file to give users/co-developers a chance to see what we have planned.Gravatar David Aspinall1998-10-07
* Added some notes for IsabelleGravatar David Aspinall1998-10-07
* Removed some.Gravatar David Aspinall1998-10-07
* Rearranged a bit, added some, removed some.Gravatar David Aspinall1998-10-07
* Found some more...Gravatar David Aspinall1998-10-07
* Added cvsclean backGravatar David Aspinall1998-10-07
* GIMP Script Fu for batch generating images.Gravatar David Aspinall1998-10-07
* Added jpegs to repository for convenience.Gravatar David Aspinall1998-10-07
* Added gif files for reduced color displays.Gravatar David Aspinall1998-10-07
* Added to repository for convenience.Gravatar David Aspinall1998-10-07
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-23 02:43:18 +0000