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
*
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
|
*
Added devel.links target to make a couple of handy links.
David Aspinall
1999-11-26
|
*
Fix to not distribute linked file.
David Aspinall
1999-11-25
|
*
Add portrait file to IGNOREDFILES.
David Aspinall
1999-11-25
|
*
Switch CVS remote access to faster machine, scar.
David Aspinall
1999-11-25
|
*
Fix IGNOREDFILES to be a list of patterns to ignore, rather than files.
David Aspinall
1999-11-25
|
*
Fix link to image file.
David Aspinall
1999-11-25
|
*
Added date stamp to version variable in full releases.
David Aspinall
1999-11-25
|
*
Include pdf doc in distribution area, though.
David Aspinall
1999-11-23
|
*
Removed ps.gz from distrib.
David Aspinall
1999-11-23
|
*
Instead, remove doc/ from top-level of distdir.
David Aspinall
1999-11-22
|
*
*Do* deref links again when copying doc.
David Aspinall
1999-11-22
|
*
Don't deref links when copying doc, avoid error during export.
David Aspinall
1999-11-22
|
*
Added link during distdocs build to front page image
David Aspinall
1999-11-22
|
*
Removed spurious etags target (tags already works better)
David Aspinall
1999-11-22
|
*
Remove Makefile.xemacs from distrib.
David Aspinall
1999-11-17
|
*
Split download page into three parts.
David Aspinall
1999-11-17
|
*
-f to make rm quiet if no args.
David Aspinall
1999-11-15
|
*
devel.clean : use find to clean all subdirs.
David Aspinall
1999-11-14
|
*
Add demoisa dir to makefiles.
David Aspinall
1999-11-14
|
*
clean: Remove autosaves and cvs server temporary files.
David Aspinall
1999-11-13
|
*
Added ProofGeneral.texi to tags target.
David Aspinall
1999-10-25
|
*
Fixed PRERELEASE_PREFIX.
David Aspinall
1999-10-07
|
*
In case Makefile.devel changes, update in make process is not good enough.
David Aspinall
1999-10-06
|
*
Next version will be 3.0 cvs update
David Aspinall
1999-10-06
|
*
Automatically updated ChangeLog when making devel release
David Aspinall
1999-09-30
|
*
Added cvs update to release target.
David Aspinall
1999-09-21
|
*
Altered to use craro since scar now broken.
David Aspinall
1999-09-13
|
*
Added plastic to elisp dirs and cleanup backup files.
David Aspinall
1999-09-13
|
[next]