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
*
Fix to use in place of make, see http://proofgeneral.inf.ed.ac.uk/trac/ticke...
David Aspinall
2009-03-10
*
merge develdownload.html with devel.html
David Aspinall
2008-12-05
*
Updated.
David Aspinall
2008-12-05
*
Updates for 4.0
David Aspinall
2008-08-03
*
Merge changes from Version4Branch.
David Aspinall
2008-07-24
*
Move to 3.7.1 pre-rel
David Aspinall
2008-02-03
*
Updated.
David Aspinall
2008-01-31
*
Remove more zip
David Aspinall
2008-01-30
*
Remove zip from distribution, only use tgz
David Aspinall
2008-01-30
*
Missing quote
David Aspinall
2008-01-25
*
Many compatibility updates, bug fixes, rearrangements for compilation.
David Aspinall
2008-01-15
*
Removed file
David Aspinall
2007-12-14
*
Remove overriding BYTECOMP definition
David Aspinall
2007-12-14
*
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-13
*
More dirs for TAGS
David Aspinall
2007-12-09
*
fixed spelling;
Makarius Wenzel
2007-11-18
*
Fix mail address/name for Makarius
David Aspinall
2007-11-15
*
Simplify version editing to use DOWNLOADHTMLS and use %{version} in spec
David Aspinall
2007-10-25
*
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
[next]