aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.devel
Commit message (Expand)AuthorAge
* Update to 4.1preGravatar David Aspinall2010-10-10
* CommentsGravatar David Aspinall2010-10-04
* Target to run an instanceGravatar David Aspinall2010-08-27
* Target to build an Emacs packageGravatar David Aspinall2010-08-25
* Remove defunct RPM linkGravatar David Aspinall2010-08-23
* Separate profiling from testingGravatar David Aspinall2010-08-03
* Show test log in case of failureGravatar David Aspinall2010-08-03
* Resurrect autotest frameworkGravatar David Aspinall2010-08-03
* superdirGravatar David Aspinall2009-09-21
* Fix doc copy/clean.Gravatar David Aspinall2009-09-21
* Only distribute info file, not pdfGravatar David Aspinall2009-09-21
* Add doc files and .elcs to distributed tarballGravatar David Aspinall2009-09-21
* tar -> $(TAR)Gravatar David Aspinall2009-09-21
* distcompile: don't ignore errors during compileGravatar David Aspinall2009-09-15
* Remove devel. from testall targetGravatar David Aspinall2009-09-08
* Add tidy target (cleans whitespace)Gravatar David Aspinall2009-09-05
* Hide echoGravatar David Aspinall2009-09-04
* Clean up IGNOREDFILES a bitGravatar David Aspinall2009-08-31
* Remove obsolete file mentionGravatar David Aspinall2009-08-20
* Fix to use in place of make, see http://proofgeneral.inf.ed.ac.uk/trac/ticke...Gravatar David Aspinall2009-03-10
* merge develdownload.html with devel.htmlGravatar David Aspinall2008-12-05
* Updated.Gravatar David Aspinall2008-12-05
* Updates for 4.0Gravatar David Aspinall2008-08-03
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Move to 3.7.1 pre-relGravatar David Aspinall2008-02-03
* Updated.Gravatar David Aspinall2008-01-31
* Remove more zipGravatar David Aspinall2008-01-30
* Remove zip from distribution, only use tgzGravatar David Aspinall2008-01-30
* Missing quoteGravatar David Aspinall2008-01-25
* Many compatibility updates, bug fixes, rearrangements for compilation.Gravatar David Aspinall2008-01-15
* Removed fileGravatar David Aspinall2007-12-14
* Remove overriding BYTECOMP definitionGravatar David Aspinall2007-12-14
* Account for removed filesGravatar David Aspinall2007-12-13
* Add GerwinGravatar David Aspinall2007-12-13
* Add makarius=markusGravatar David Aspinall2007-12-13
* Add assiaGravatar David Aspinall2007-12-13
* More dirs for TAGSGravatar David Aspinall2007-12-09
* fixed spelling;Gravatar Makarius Wenzel2007-11-18
* Fix mail address/name for MakariusGravatar David Aspinall2007-11-15
* Simplify version editing to use DOWNLOADHTMLS and use %{version} in specGravatar David Aspinall2007-10-25
* Choose Emacs instead of XEmacsGravatar David Aspinall2007-03-04
* Switch to 3.7preGravatar David Aspinall2007-03-03
* Correct mail domainGravatar David Aspinall2007-01-20
* Remove isa dirGravatar David Aspinall2006-12-20
* Packaging fixes: put isar/interface in right place; install examples and doc ...Gravatar David Aspinall2006-09-22
* Cleanup makefilesGravatar David Aspinall2006-08-28
* Cleanup makefilesGravatar David Aspinall2006-08-28
* Syntax strictitudeGravatar David Aspinall2006-08-23
* Select EMACS based on xemacs if available, otherwise emacsGravatar David Aspinall2005-09-21
* fix tar arg orderGravatar David Aspinall2005-07-15
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-27 01:02:32 +0000