aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.devel
Commit message (Expand)AuthorAge
* Altered to use craro since scar now broken.Gravatar David Aspinall1999-09-13
* Added plastic to elisp dirs and cleanup backup files.Gravatar David Aspinall1999-09-13
* Made a release (ProofGeneral.spec, proof-site.el, download.phtml)Gravatar David Aspinall1999-09-13
* Typo (I think)Gravatar David Aspinall1999-08-27
* Added more macros to generalise MakefileGravatar David Aspinall1999-08-27
* Fixed version variable name.Gravatar David Aspinall1999-08-24
* enabled isar/;Gravatar Makarius Wenzel1999-08-24
* Changes for 2.3 series pre-releases.Gravatar David Aspinall1999-08-23
* Removed .eps.gz file from distrib to make it much smallerGravatar David Aspinall1999-08-19
* Updated for web pages, now only low-priority.Gravatar David Aspinall1999-08-17
* Added prereltag.txt and extra link for latest srpm.Gravatar David Aspinall1999-07-22
* Fix rpm building for 3.0.1 version of RPM.Gravatar David Aspinall1999-07-01
* topdir stuff broken, to be fixed.Gravatar David Aspinall1999-06-30
* Removed distinstall, doesn't work for temporary server.Gravatar David Aspinall1999-06-30
* Set CVSROOT for remote cvs.Gravatar David Aspinall1999-06-28
* Changed doc targets during buildGravatar David Aspinall1999-06-28
* Remove temporary fileGravatar proofgen1999-06-28
* Added ChangeLog to dist area.Gravatar proofgen1999-06-24
* Updates for new web pages, todo list.Gravatar David Aspinall1999-06-24
* Fixes for XEmacs 21.1Gravatar David Aspinall1999-06-15
* Dont include plastic/isar in main distribution.Gravatar David Aspinall1999-06-07
* CommentsGravatar David Aspinall1999-06-07
* Added devel.etags targetGravatar David Aspinall1999-02-01
* Instructions how to hack another CVS tag.Gravatar David Aspinall1998-12-17
* Removed .cvsignore files from distribution.Gravatar David Aspinall1998-12-17
* towards prerelease 2.1Gravatar Thomas Kleymann1998-12-16
* Remove isa/wip.ML from distrib and web.Gravatar David Aspinall1998-11-25
* Removed spurious fiGravatar David Aspinall1998-11-10
* Added some support for making a full release. Must edit html by hand though.Gravatar David Aspinall1998-11-10
* release now should make links to -latest names for fixed URLs. (needs testing)Gravatar David Aspinall1998-11-03
* Removed duplicate distclean targetGravatar David Aspinall1998-11-02
* o added support for byte-compilationGravatar Thomas Kleymann1998-11-01
* implemented new buffer model. The goals buffer is now exclusivelyGravatar Thomas Kleymann1998-10-30
* Added install to distall targetGravatar David Aspinall1998-10-29
* Added distall targetGravatar David Aspinall1998-10-29
* todo file was specifically excluded from distribution areaGravatar David Aspinall1998-10-29
* Added note about what to do if releaseall failsGravatar David Aspinall1998-10-29
* Added tags targetGravatar David Aspinall1998-10-29
* Removed junk from cvs mergeGravatar David Aspinall1998-10-27
* Fixup repository messGravatar David Aspinall1998-10-27
* Renamed fileGravatar David Aspinall1998-10-27
* fixed a bug in distinstallGravatar Thomas Kleymann1998-10-22
* modified local installation procedureGravatar Thomas Kleymann1998-10-21
* Added tar variable. Use make TAR=gnutar <args> on local Suns.Gravatar David Aspinall1998-10-20
* Changed dcsinstall into distinstall. Added comments.Gravatar David Aspinall1998-10-20
* dcsinstall copies from DISTBUILDIR instead for local only releaseGravatar David Aspinall1998-10-20
* Added dcsinstall target.Gravatar David Aspinall1998-10-20
* Added word new to release messageGravatar David Aspinall1998-10-14
* Added developer's distribution, link to master todo list, images targetGravatar David Aspinall1998-10-14
* Added cleanup after release.Gravatar David Aspinall1998-10-13