aboutsummaryrefslogtreecommitdiff
path: root/Makefile.devel
AgeCommit message (Collapse)Author
1999-11-22Added link during distdocs build to front page imageDavid Aspinall
1999-11-22Removed spurious etags target (tags already works better)David Aspinall
1999-11-17Remove Makefile.xemacs from distrib.David Aspinall
1999-11-17Split download page into three parts.David Aspinall
1999-11-15-f to make rm quiet if no args.David Aspinall
1999-11-14devel.clean : use find to clean all subdirs.David Aspinall
1999-11-14Add demoisa dir to makefiles.David Aspinall
1999-11-13clean: Remove autosaves and cvs server temporary files.David Aspinall
1999-10-25Added ProofGeneral.texi to tags target.David Aspinall
1999-10-07Fixed PRERELEASE_PREFIX.David Aspinall
1999-10-06In case Makefile.devel changes, update in make process is not good enough.David Aspinall
1999-10-06Next version will be 3.0 cvs updateDavid Aspinall
1999-09-30Automatically updated ChangeLog when making devel releaseDavid Aspinall
1999-09-21Added cvs update to release target.David Aspinall
1999-09-13Altered to use craro since scar now broken.David Aspinall
1999-09-13Added plastic to elisp dirs and cleanup backup files.David Aspinall
1999-09-13Made a release (ProofGeneral.spec, proof-site.el, download.phtml)David Aspinall
Makefile.devel: fixed fakerelease doc/Makefile: Don't attempt page rearrangement if dviutils not present
1999-08-27Typo (I think)David Aspinall
1999-08-27Added more macros to generalise MakefileDavid Aspinall
1999-08-24Fixed version variable name.David Aspinall
1999-08-24enabled isar/;Makarius Wenzel
1999-08-23Changes for 2.3 series pre-releases.David Aspinall
1999-08-19Removed .eps.gz file from distrib to make it much smallerDavid Aspinall
1999-08-17Updated for web pages, now only low-priority.David Aspinall
1999-07-22Added prereltag.txt and extra link for latest srpm.David Aspinall
1999-07-01Fix rpm building for 3.0.1 version of RPM.David Aspinall
1999-06-30topdir stuff broken, to be fixed.David Aspinall
1999-06-30Removed distinstall, doesn't work for temporary server.David Aspinall
1999-06-28Set CVSROOT for remote cvs.David Aspinall
1999-06-28Changed doc targets during buildDavid Aspinall
1999-06-28Remove temporary fileproofgen
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
o removed hhg tags in todo o fixed font-lock for FSF Emacs 20.2 o ensured that goals buffer is updated for longer queues o fixed a bug in proof-universal-keys-only-mode
1998-10-30implemented new buffer model. The goals buffer is now exclusivelyThomas Kleymann
reserved for goals.
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 03:55:09 +0000