aboutsummaryrefslogtreecommitdiff
path: root/Makefile.devel
AgeCommit message (Expand)Author
1999-06-24Added ChangeLog to dist area.proofgen
1999-06-24Updates for new web pages, todo list.David Aspinall
1999-06-15Fixes for XEmacs 21.1David Aspinall
1999-06-07Dont include plastic/isar in main distribution.David Aspinall
1999-06-07CommentsDavid Aspinall
1999-02-01Added devel.etags targetDavid Aspinall
1998-12-17Instructions how to hack another CVS tag.David Aspinall
1998-12-17Removed .cvsignore files from distribution.David Aspinall
1998-12-16towards prerelease 2.1Thomas Kleymann
1998-11-25Remove isa/wip.ML from distrib and web.David Aspinall
1998-11-10Removed spurious fiDavid Aspinall
1998-11-10Added some support for making a full release. Must edit html by hand though.David Aspinall
1998-11-03release now should make links to -latest names for fixed URLs. (needs testing)David Aspinall
1998-11-02Removed duplicate distclean targetDavid Aspinall
1998-11-01o added support for byte-compilationThomas Kleymann
1998-10-30implemented new buffer model. The goals buffer is now exclusivelyThomas Kleymann
1998-10-29Added install to distall targetDavid Aspinall
1998-10-29Added distall targetDavid Aspinall
1998-10-29todo file was specifically excluded from distribution areaDavid Aspinall
1998-10-29Added note about what to do if releaseall failsDavid Aspinall
1998-10-29Added tags targetDavid Aspinall
1998-10-27Removed junk from cvs mergeDavid Aspinall
1998-10-27Fixup repository messDavid Aspinall
1998-10-27Renamed fileDavid Aspinall
1998-10-22fixed a bug in distinstallThomas Kleymann
1998-10-21modified local installation procedureThomas Kleymann
1998-10-20Added tar variable. Use make TAR=gnutar <args> on local Suns.David Aspinall
1998-10-20Changed dcsinstall into distinstall. Added comments.David Aspinall
1998-10-20dcsinstall copies from DISTBUILDIR instead for local only releaseDavid Aspinall
1998-10-20Added dcsinstall target.David Aspinall
1998-10-14Added word new to release messageDavid Aspinall
1998-10-14Added developer's distribution, link to master todo list, images targetDavid Aspinall
1998-10-13Added cleanup after release.David Aspinall
1998-10-12Notes about things to put in docs.David Aspinall
1998-10-12Fixed broken taggingDavid Aspinall
1998-10-08Added untag target for rebuilding on same day.David Aspinall
1998-10-08Changed 'ln -sf' to 'rm ; ln' because link got put into directory.David Aspinall
1998-10-08Added fixup to specfile because dcs.ed has old RPM installed.David Aspinall
1998-10-08Now edits full version of name of release in download.htmlDavid Aspinall
1998-10-08Fixed typo.David Aspinall
1998-10-08Added auto checking for Proofgeneral.spec.David Aspinall
1998-10-08Removed hyphen from prerelease name.David Aspinall
1998-10-08Made full prerelease name be name of tar file and RPM file.David Aspinall
1998-10-08Removed images/Makefile from distrib.David Aspinall
1998-10-07Disabeled remote releaseDavid Aspinall
1998-10-07Removed ssh.dcs.ed.ac.uk from remote release.David Aspinall
1998-10-07Added cvsclean backDavid Aspinall
1998-10-02Added automatic editing of download.htmlDavid Aspinall
1998-10-01Updated maintainer tags to remove lego email address.David Aspinall
1998-10-01Removed top-level "dist" directory from RELEASEDIR.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 17:31:31 +0000