index
:
proof-general
master
Emacs plugins for proof management systems
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Makefile.devel
Age
Commit message (
Expand
)
Author
2009-03-10
Fix to use in place of make, see http://proofgeneral.inf.ed.ac.uk/trac/ticke...
David Aspinall
2008-12-05
merge develdownload.html with devel.html
David Aspinall
2008-12-05
Updated.
David Aspinall
2008-08-03
Updates for 4.0
David Aspinall
2008-07-24
Merge changes from Version4Branch.
David Aspinall
2008-02-03
Move to 3.7.1 pre-rel
David Aspinall
2008-01-31
Updated.
David Aspinall
2008-01-30
Remove more zip
David Aspinall
2008-01-30
Remove zip from distribution, only use tgz
David Aspinall
2008-01-25
Missing quote
David Aspinall
2008-01-15
Many compatibility updates, bug fixes, rearrangements for compilation.
David Aspinall
2007-12-14
Removed file
David Aspinall
2007-12-14
Remove overriding BYTECOMP definition
David Aspinall
2007-12-13
Account for removed files
David Aspinall
2007-12-13
Add Gerwin
David Aspinall
2007-12-13
Add makarius=markus
David Aspinall
2007-12-13
Add assia
David Aspinall
2007-12-09
More dirs for TAGS
David Aspinall
2007-11-18
fixed spelling;
Makarius Wenzel
2007-11-15
Fix mail address/name for Makarius
David Aspinall
2007-10-25
Simplify version editing to use DOWNLOADHTMLS and use %{version} in spec
David Aspinall
2007-03-04
Choose Emacs instead of XEmacs
David Aspinall
2007-03-03
Switch to 3.7pre
David Aspinall
2007-01-20
Correct mail domain
David Aspinall
2006-12-20
Remove isa dir
David Aspinall
2006-09-22
Packaging fixes: put isar/interface in right place; install examples and doc ...
David Aspinall
2006-08-28
Cleanup makefiles
David Aspinall
2006-08-28
Cleanup makefiles
David Aspinall
2006-08-23
Syntax strictitude
David Aspinall
2005-09-21
Select EMACS based on xemacs if available, otherwise emacs
David Aspinall
2005-07-15
fix tar arg order
David Aspinall
2005-05-17
Add missing lib/
David Aspinall
2005-02-13
Comments.
David Aspinall
2005-02-13
Added simple testing framework (in progress)
David Aspinall
2004-12-01
Name change of TODO/BUGS files
David Aspinall
2004-08-25
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-04-24
Updated.
David Aspinall
2004-04-24
Update pre-rel tag
David Aspinall
2004-04-24
Fix comment
David Aspinall
2004-04-16
Fix my email addr.
David Aspinall
2004-04-06
Add -d to first update in tag
David Aspinall
2004-03-01
Comment.
David Aspinall
2004-03-01
Tweaks to building tar file to include correct files. Remove golive from fak...
David Aspinall
2004-02-08
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
[next]