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
...
*
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
*
Removed more references to ~lego.
David Aspinall
1998-09-24
*
Adjusted directories to /home/proofgen
David Aspinall
1998-09-24
*
Added FORCE dependency for docs.
David Aspinall
1998-09-23
*
Added docs to release and remoterelease target.
David Aspinall
1998-09-17
*
Added toolbar todos discussed at business lunch with tms
David Aspinall
1998-09-14
*
Added final message to make release.
David Aspinall
1998-09-10
*
Bug in make release.
David Aspinall
1998-09-10
*
Added back check for clean source.
David Aspinall
1998-09-10
*
Added tag, dist, release targets.
David Aspinall
1998-09-10
*
Added Id to headers.
David Aspinall
1998-09-09
*
Added todos for toolbar.
David Aspinall
1998-09-08
*
Added make item to build ChangeLog automatically, removed from repository
David Aspinall
1998-09-08
*
Added note of what to do here.
David Aspinall
1998-09-03
*
*** empty log message ***
Thomas Kleymann
1998-08-07
[prev]