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 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