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
...
*
Updated for web pages, now only low-priority.
David Aspinall
1999-08-17
*
Added prereltag.txt and extra link for latest srpm.
David Aspinall
1999-07-22
*
Fix rpm building for 3.0.1 version of RPM.
David Aspinall
1999-07-01
*
topdir stuff broken, to be fixed.
David Aspinall
1999-06-30
*
Removed distinstall, doesn't work for temporary server.
David Aspinall
1999-06-30
*
Set CVSROOT for remote cvs.
David Aspinall
1999-06-28
*
Changed doc targets during build
David Aspinall
1999-06-28
*
Remove temporary file
proofgen
1999-06-28
*
Added ChangeLog to dist area.
proofgen
1999-06-24
*
Updates for new web pages, todo list.
David Aspinall
1999-06-24
*
Fixes for XEmacs 21.1
David Aspinall
1999-06-15
*
Dont include plastic/isar in main distribution.
David Aspinall
1999-06-07
*
Comments
David Aspinall
1999-06-07
*
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
[prev]
[next]