aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
1998-10-07Updated for new proof-site.elDavid Aspinall
1998-10-07Disabeled remote releaseDavid Aspinall
1998-10-07Removed ssh.dcs.ed.ac.uk from remote release.David Aspinall
1998-10-07Removed CVS binary itemDavid Aspinall
1998-10-07Fixup branchDavid Aspinall
1998-10-07Fixup branch.David Aspinall
1998-10-07Added distclean targetDavid Aspinall
1998-10-07Adjusted so make clean gives clean output from cvs update.David Aspinall
1998-10-07Disabled tags support for Isabelle.David Aspinall
1998-10-07Renamed isa-thy-* to thy-*David Aspinall
1998-10-07Added more documentation.David Aspinall
1998-10-07Added detection of less than 16 bit colour depth to display 8bitDavid Aspinall
1998-10-07Munged name of customization variables so that menus display nicely.David Aspinall
1998-10-07Removed lego-settings defgroup, changed to lego.David Aspinall
1998-10-07Removed coq-settings defgroup, changed to coq.David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-07 13:34:17 +0000