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 Make pkg in case package name same as release name.
David Aspinall
2011-04-28
*
Add rcs2log options suggested by Hendrik
David Aspinall
2011-04-28
*
set a non-temporary email address
Hendrik Tews
2011-01-14
*
Add new CVS users to DEVELOPERS list.
David Aspinall
2011-01-14
*
Cleanup
David Aspinall
2010-10-11
*
Update to 4.1pre
David Aspinall
2010-10-10
*
Comments
David Aspinall
2010-10-04
*
Target to run an instance
David Aspinall
2010-08-27
*
Target to build an Emacs package
David Aspinall
2010-08-25
*
Remove defunct RPM link
David Aspinall
2010-08-23
*
Separate profiling from testing
David Aspinall
2010-08-03
*
Show test log in case of failure
David Aspinall
2010-08-03
*
Resurrect autotest framework
David Aspinall
2010-08-03
*
superdir
David Aspinall
2009-09-21
*
Fix doc copy/clean.
David Aspinall
2009-09-21
*
Only distribute info file, not pdf
David Aspinall
2009-09-21
*
Add doc files and .elcs to distributed tarball
David Aspinall
2009-09-21
*
tar -> $(TAR)
David Aspinall
2009-09-21
*
distcompile: don't ignore errors during compile
David Aspinall
2009-09-15
*
Remove devel. from testall target
David Aspinall
2009-09-08
*
Add tidy target (cleans whitespace)
David Aspinall
2009-09-05
*
Hide echo
David Aspinall
2009-09-04
*
Clean up IGNOREDFILES a bit
David Aspinall
2009-08-31
*
Remove obsolete file mention
David Aspinall
2009-08-20
*
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
[next]