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
*
TAGS in devel release only
David Aspinall
2003-03-17
*
Updated.
David Aspinall
2003-03-03
*
Add distcompile target
David Aspinall
2003-03-03
*
Add pg-xml to main dist
David Aspinall
2003-02-18
*
Updated.
David Aspinall
2002-08-29
*
Updated.
David Aspinall
2002-08-29
*
pre 3.4 -> 3.5
David Aspinall
2002-08-29
*
Updated.
David Aspinall
2002-08-29
*
Updated.
David Aspinall
2002-08-29
*
bugs file ignored
David Aspinall
2002-08-08
*
Add lclam
David Aspinall
2002-08-08
*
Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...
David Aspinall
2002-07-19
*
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 ta...
David Aspinall
2001-05-08
*
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 propor...
David Aspinall
2000-10-02
*
Fix ChangeLog target so makes prefix properly. Revert to keeping uncompresse...
David Aspinall
2000-09-29
*
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
[next]