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
*
Variable name change proof-comment-{start,end}-regexp -> ↵
David Aspinall
2002-07-19
|
|
|
|
proof-script-comment-{start,end}-regexp.
*
Ignore todo.defunct
David Aspinall
2002-07-19
|
*
Add todo to tags
David Aspinall
2002-07-19
|
*
Try to fix latest link
David Aspinall
2002-07-18
|
*
Fix crucial typo
David Aspinall
2002-07-16
|
*
Make tags for both manuals.
David Aspinall
2002-07-16
|
*
Tweak link creation/deletion
David Aspinall
2002-07-16
|
*
Link in LATESTNAME
David Aspinall
2002-07-16
|
*
Do not link devel release. Fix releasefinal to do that.
David Aspinall
2002-07-15
|
*
Flag on cp
David Aspinall
2002-07-14
|
*
Add prune to update
David Aspinall
2002-07-14
|
*
Try to debug
David Aspinall
2002-07-14
|
*
Revert accidental commit by crr
David Aspinall
2002-03-21
|
*
added hook: proof-before-fontify-output-hook
Christophe Raffalli
2002-03-21
|
*
Remove latest-src-rpm link
David Aspinall
2002-02-14
|
*
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
|
[next]