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
*
A first pass at converting from CVS to git. (#127)
zhenya1007
2016-12-31
*
Bump version number for next release cycle.
Erik Martin-Dorel
2016-09-19
*
More version number fixes
Clément Pit--Claudel
2016-02-13
*
Summary: remove non-BSD cp arg
David Aspinall
2015-03-13
*
Remove link in tar file.
David Aspinall
2013-05-31
*
Run make check before release
David Aspinall
2013-05-23
*
Add ProofGeneral.jpg to distribution
David Aspinall
2013-05-22
*
Updates for PG 4.3
David Aspinall
2012-10-19
*
Add setting for rcs2log path
David Aspinall
2012-08-14
*
Update for 4.2 cycle
David Aspinall
2011-10-13
*
Remove some non-existent ignored files
David Aspinall
2011-10-03
*
Tweak to Emacs package building
David Aspinall
2011-09-16
*
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
[next]