index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
Makefile.devel
Commit message (
Expand
)
Author
Age
*
Added devel.etags target
David Aspinall
1999-02-01
*
Instructions how to hack another CVS tag.
David Aspinall
1998-12-17
*
Removed .cvsignore files from distribution.
David Aspinall
1998-12-17
*
towards prerelease 2.1
Thomas Kleymann
1998-12-16
*
Remove isa/wip.ML from distrib and web.
David Aspinall
1998-11-25
*
Removed spurious fi
David Aspinall
1998-11-10
*
Added some support for making a full release. Must edit html by hand though.
David Aspinall
1998-11-10
*
release now should make links to -latest names for fixed URLs. (needs testing)
David Aspinall
1998-11-03
*
Removed duplicate distclean target
David Aspinall
1998-11-02
*
o added support for byte-compilation
Thomas Kleymann
1998-11-01
*
implemented new buffer model. The goals buffer is now exclusively
Thomas Kleymann
1998-10-30
*
Added install to distall target
David Aspinall
1998-10-29
*
Added distall target
David Aspinall
1998-10-29
*
todo file was specifically excluded from distribution area
David Aspinall
1998-10-29
*
Added note about what to do if releaseall fails
David Aspinall
1998-10-29
*
Added tags target
David Aspinall
1998-10-29
*
Removed junk from cvs merge
David Aspinall
1998-10-27
*
Fixup repository mess
David Aspinall
1998-10-27
*
Renamed file
David Aspinall
1998-10-27
*
fixed a bug in distinstall
Thomas Kleymann
1998-10-22
*
modified local installation procedure
Thomas Kleymann
1998-10-21
*
Added tar variable. Use make TAR=gnutar <args> on local Suns.
David Aspinall
1998-10-20
*
Changed dcsinstall into distinstall. Added comments.
David Aspinall
1998-10-20
*
dcsinstall copies from DISTBUILDIR instead for local only release
David Aspinall
1998-10-20
*
Added dcsinstall target.
David Aspinall
1998-10-20
*
Added word new to release message
David Aspinall
1998-10-14
*
Added developer's distribution, link to master todo list, images target
David Aspinall
1998-10-14
*
Added cleanup after release.
David Aspinall
1998-10-13
*
Notes about things to put in docs.
David Aspinall
1998-10-12
*
Fixed broken tagging
David Aspinall
1998-10-12
*
Added untag target for rebuilding on same day.
David Aspinall
1998-10-08
*
Changed 'ln -sf' to 'rm ; ln' because link got put into directory.
David Aspinall
1998-10-08
*
Added fixup to specfile because dcs.ed has old RPM installed.
David Aspinall
1998-10-08
*
Now edits full version of name of release in download.html
David Aspinall
1998-10-08
*
Fixed typo.
David Aspinall
1998-10-08
*
Added auto checking for Proofgeneral.spec.
David Aspinall
1998-10-08
*
Removed hyphen from prerelease name.
David Aspinall
1998-10-08
*
Made full prerelease name be name of tar file and RPM file.
David Aspinall
1998-10-08
*
Removed images/Makefile from distrib.
David Aspinall
1998-10-08
*
Disabeled remote release
David Aspinall
1998-10-07
*
Removed ssh.dcs.ed.ac.uk from remote release.
David Aspinall
1998-10-07
*
Added cvsclean back
David Aspinall
1998-10-07
*
Added automatic editing of download.html
David Aspinall
1998-10-02
*
Updated maintainer tags to remove lego email address.
David Aspinall
1998-10-01
*
Removed top-level "dist" directory from RELEASEDIR.
David Aspinall
1998-10-01
*
Removed xcf files and image notes from distrib.
David Aspinall
1998-09-24
*
Added RPM targets
David Aspinall
1998-09-24
*
Fine tuning.
David Aspinall
1998-09-24
*
Removed Makefiles from distribution.
David Aspinall
1998-09-24
*
New repository name
David Aspinall
1998-09-24
[next]