aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
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
1998-09-24For building nice package on Linux.David Aspinall
1998-09-24Fine tuning.David Aspinall
1998-09-24Removed Makefiles from distribution.David Aspinall
1998-09-24New repository nameDavid Aspinall
1998-09-24Item for toolbar icons in low-colour modesDavid Aspinall
1998-09-24Removed more references to ~lego.David Aspinall
1998-09-24Adjusted directories to /home/proofgenDavid Aspinall
1998-09-24Removed lego email address, support level notes.David Aspinall
1998-09-24MinorDavid Aspinall
1998-09-23Example file suggested by Healf.David Aspinall
1998-09-23Updated instructionsDavid Aspinall
1998-09-23Changed customization group nameDavid Aspinall
1998-09-23Missing bracket addedDavid Aspinall
1998-09-23Added more notes about specialization to new provers.David Aspinall
1998-09-23Removed historyDavid Aspinall
1998-09-23Added todo for making completion more flexible, not nec. using tagsDavid Aspinall
1998-09-23Removed tags stuffDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-17 02:21:31 +0000