aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.devel
Commit message (Expand)AuthorAge
* Remove Makefile.xemacs from distrib.Gravatar David Aspinall1999-11-17
* Split download page into three parts.Gravatar David Aspinall1999-11-17
* -f to make rm quiet if no args.Gravatar David Aspinall1999-11-15
* devel.clean : use find to clean all subdirs.Gravatar David Aspinall1999-11-14
* Add demoisa dir to makefiles.Gravatar David Aspinall1999-11-14
* clean: Remove autosaves and cvs server temporary files.Gravatar David Aspinall1999-11-13
* Added ProofGeneral.texi to tags target.Gravatar David Aspinall1999-10-25
* Fixed PRERELEASE_PREFIX.Gravatar David Aspinall1999-10-07
* In case Makefile.devel changes, update in make process is not good enough.Gravatar David Aspinall1999-10-06
* Next version will be 3.0 cvs updateGravatar David Aspinall1999-10-06
* Automatically updated ChangeLog when making devel releaseGravatar David Aspinall1999-09-30
* Added cvs update to release target.Gravatar David Aspinall1999-09-21
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-08 14:29:24 +0000