aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
1998-10-07Added text logos. Menu now appears in screenshot.David Aspinall
1998-10-07 New file to give users/co-developers a chance to see what we have planned.David Aspinall
1998-10-07Added some notes for IsabelleDavid Aspinall
1998-10-07Removed some.David Aspinall
1998-10-07Rearranged a bit, added some, removed some.David Aspinall
1998-10-07Found some more...David Aspinall
1998-10-07Added cvsclean backDavid Aspinall
1998-10-07GIMP Script Fu for batch generating images.David Aspinall
1998-10-07Added jpegs to repository for convenience.David Aspinall
1998-10-07Added gif files for reduced color displays.David Aspinall
1998-10-07Added to repository for convenience.David Aspinall
1998-10-07Added for convenience.David Aspinall
1998-10-07Makefile for generating various image formats.David Aspinall
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
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
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
1998-10-01Updated.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-17 10:38:32 +0000