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 (
Collapse
)
Author
Age
*
Fixup copying of releasename link
David Aspinall
2001-09-09
|
*
Finished shift to 3.4
David Aspinall
2001-09-09
|
*
Update for 3.4pre
David Aspinall
2001-09-09
|
*
Put all in dist except pgkit
David Aspinall
2001-08-10
|
*
Change DEVELDOWNLOAD to edit correct file
David Aspinall
2001-05-08
|
*
Forgot to make BUILD dir.
David Aspinall
2001-05-08
|
*
Fix cut and past tab error
David Aspinall
2001-05-08
|
*
rpm target: Clean out rpmtopdir, and make subdirs again. Get full path to ↵
David Aspinall
2001-05-08
|
|
|
|
tar file
*
Clean out NAME, force link.
David Aspinall
2001-05-08
|
*
Include a few files from etc in the distribution, esp .spec file
David Aspinall
2001-05-08
|
*
Dont make SRPM any more. Use rpm -tb to build binary package from tarball
David Aspinall
2001-05-08
|
*
Name change af2 -> phox
David Aspinall
2000-12-07
|
*
Second part of moving to 3.3pre series.
David Aspinall
2000-10-19
|
*
Begin move to 3.3 series.
David Aspinall
2000-10-18
|
*
Warning about duplicate ChangeLog entries
David Aspinall
2000-10-02
|
*
Tweak to ChangeLog production
David Aspinall
2000-10-02
|
*
Remove ps and pdf for PG-adapting from distrib to redue size to normal ↵
David Aspinall
2000-10-02
|
|
|
|
proportions.
*
Fix ChangeLog target so makes prefix properly. Revert to keeping ↵
David Aspinall
2000-09-29
|
|
|
|
uncompressed file in repo.
*
Add acl2 and twelf to elisp dirs
David Aspinall
2000-09-29
|
*
ChangeLog is just last 1000 lines, instead of 11000 starting in 1996...
David Aspinall
2000-09-29
|
*
twelf and acl2 are in ordinary dist
David Aspinall
2000-09-29
|
*
phtml -> html
David Aspinall
2000-09-28
|
*
proofgeneral email address for me
David Aspinall
2000-09-27
|
*
Remove extra space preventing ChangeLog update.
David Aspinall
2000-09-26
|
*
Remove twelf from .tar.gz
David Aspinall
2000-09-25
|
*
Add symlink PG -> PG-ver to main dist. Dont dereference symlinks when making ↵
David Aspinall
2000-09-21
|
|
|
|
tars (why was it done?).
*
Changed ChangeLog target to use rcs2log directly. Added developer's ↵
David Aspinall
2000-09-21
|
|
|
|
details, correct emails.
*
Make ordinary dist before develdist, because dist clears build dir... whoops.
David Aspinall
2000-09-12
|
*
Make distclean rather than clean do the CVS pruning.
David Aspinall
2000-06-06
|
*
Make doc link to 3.1, not pre-release. Minor extra editing on new release.
David Aspinall
2000-05-25
|
*
Added autoloads target.
David Aspinall
2000-05-09
|
*
Force in .gz target.
David Aspinall
2000-04-28
|
*
Keep ChangeLog gzipped. Small saving on repo size.
David Aspinall
2000-04-28
|
*
Added warning about releasing from old branch.
David Aspinall
2000-04-28
|
*
Change order in release to make ChangeLog be updated before dist built.
David Aspinall
2000-04-07
|
*
Move to pre3.2 prerelease series.
David Aspinall
2000-03-24
|
*
Added zip file build
David Aspinall
2000-03-23
|
*
Added hol98 to distribution.
David Aspinall
2000-03-13
|
*
Add hol98 to elisp dirs.
David Aspinall
2000-03-13
|
*
Added checkin for second html file.
David Aspinall
2000-03-08
|
*
Missing semi
David Aspinall
2000-03-08
|
*
Added edit for devel.phtml also
David Aspinall
2000-03-08
|
*
New name for devel download page.
David Aspinall
2000-02-15
|
*
Updated for 3.1pre
David Aspinall
1999-11-30
|
*
Cannot have FULLVERSION in spec file, will break links, etc.
David Aspinall
1999-11-30
|
*
Edit spec file to get tar file name right.
David Aspinall
1999-11-30
|
*
Remove -b option from tag. Probably needs to be done by hand.
David Aspinall
1999-11-30
|
*
Added -b option to tag.
David Aspinall
1999-11-30
|
*
Added -b option to tag.
David Aspinall
1999-11-30
|
*
Added FULLVERSION mechanism, to tag proof-general-release.
David Aspinall
1999-11-30
|
[next]