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
...
*
Choose Emacs instead of XEmacs
David Aspinall
2007-03-04
*
Switch to 3.7pre
David Aspinall
2007-03-03
*
Correct mail domain
David Aspinall
2007-01-20
*
Remove isa dir
David Aspinall
2006-12-20
*
Packaging fixes: put isar/interface in right place; install examples and doc ...
David Aspinall
2006-09-22
*
Cleanup makefiles
David Aspinall
2006-08-28
*
Cleanup makefiles
David Aspinall
2006-08-28
*
Syntax strictitude
David Aspinall
2006-08-23
*
Select EMACS based on xemacs if available, otherwise emacs
David Aspinall
2005-09-21
*
fix tar arg order
David Aspinall
2005-07-15
*
Add missing lib/
David Aspinall
2005-05-17
*
Comments.
David Aspinall
2005-02-13
*
Added simple testing framework (in progress)
David Aspinall
2005-02-13
*
Name change of TODO/BUGS files
David Aspinall
2004-12-01
*
Hack names of xemacs-elc emacs-elc packages too
David Aspinall
2004-08-25
*
Change develdownload.php -> develdownload.html
David Aspinall
2004-08-25
*
Update to version 3.6 pre-release
David Aspinall
2004-08-25
*
Add lib to elisp paths. Name ETAGS program.
David Aspinall
2004-08-25
*
Updated.
David Aspinall
2004-04-24
*
Update pre-rel tag
David Aspinall
2004-04-24
*
Fix comment
David Aspinall
2004-04-24
*
Fix my email addr.
David Aspinall
2004-04-16
*
Add -d to first update in tag
David Aspinall
2004-04-06
*
Comment.
David Aspinall
2004-03-01
*
Tweaks to building tar file to include correct files. Remove golive from fak...
David Aspinall
2004-03-01
*
Add logupdate target (still not part of default build process)
David Aspinall
2004-02-08
*
Updated.
David Aspinall
2004-02-08
*
Comments about prereleasetag
David Aspinall
2004-02-08
*
Clean releasedir after golive
David Aspinall
2004-02-08
*
Try to remove link to ProofGeneral from web area.
David Aspinall
2004-02-08
*
Tweak golive
David Aspinall
2004-02-08
*
Update email and web addresses
David Aspinall
2004-02-08
*
Tweak RELEASEDIR, GOLIVE
David Aspinall
2004-02-08
*
Fix golive loc
David Aspinall
2004-02-08
*
Updated.
David Aspinall
2004-02-08
*
Fix golive, add some .cvsignore to ignored files
David Aspinall
2004-02-08
*
Tune RPMBUILD
David Aspinall
2004-02-08
*
Remove development distribution.
David Aspinall
2004-02-07
*
Updates for moving html out of ProofGeneral dir
David Aspinall
2004-02-07
*
Updates for moving html out of ProofGeneral dir
David Aspinall
2004-02-07
*
Add options to tag so devel.untag not needed
David Aspinall
2004-02-07
*
Adjust RELEASEDIR and GOLIVE for pub to /group/project on DICE.
David Aspinall
2004-02-07
*
Fix for pserver return code on update
David Aspinall
2004-02-07
*
Add Emacs mode tag
David Aspinall
2004-02-07
*
Fix domain name
David Aspinall
2003-12-11
*
Updated.
David Aspinall
2003-10-05
*
Fixup
David Aspinall
2003-09-25
*
Problem with export, temp fix
David Aspinall
2003-09-25
*
Add Gerwin and Stefan canonical emails to ChangeLog generation
David Aspinall
2003-05-28
*
Fix tabs in developer list
David Aspinall
2003-05-20
[prev]
[next]