aboutsummaryrefslogtreecommitdiff
path: root/Makefile.devel
AgeCommit message (Expand)Author
2010-08-03Separate profiling from testingDavid Aspinall
2010-08-03Show test log in case of failureDavid Aspinall
2010-08-03Resurrect autotest frameworkDavid Aspinall
2009-09-21superdirDavid Aspinall
2009-09-21Fix doc copy/clean.David Aspinall
2009-09-21Only distribute info file, not pdfDavid Aspinall
2009-09-21Add doc files and .elcs to distributed tarballDavid Aspinall
2009-09-21tar -> $(TAR)David Aspinall
2009-09-15distcompile: don't ignore errors during compileDavid Aspinall
2009-09-08Remove devel. from testall targetDavid Aspinall
2009-09-05Add tidy target (cleans whitespace)David Aspinall
2009-09-04Hide echoDavid Aspinall
2009-08-31Clean up IGNOREDFILES a bitDavid Aspinall
2009-08-20Remove obsolete file mentionDavid Aspinall
2009-03-10Fix to use in place of make, see http://proofgeneral.inf.ed.ac.uk/trac/ticke...David Aspinall
2008-12-05merge develdownload.html with devel.htmlDavid Aspinall
2008-12-05Updated.David Aspinall
2008-08-03Updates for 4.0David Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-02-03Move to 3.7.1 pre-relDavid Aspinall
2008-01-31Updated.David Aspinall
2008-01-30Remove more zipDavid Aspinall
2008-01-30Remove zip from distribution, only use tgzDavid Aspinall
2008-01-25Missing quoteDavid Aspinall
2008-01-15Many compatibility updates, bug fixes, rearrangements for compilation.David Aspinall
2007-12-14Removed fileDavid Aspinall
2007-12-14Remove overriding BYTECOMP definitionDavid Aspinall
2007-12-13Account for removed filesDavid Aspinall
2007-12-13Add GerwinDavid Aspinall
2007-12-13Add makarius=markusDavid Aspinall
2007-12-13Add assiaDavid Aspinall
2007-12-09More dirs for TAGSDavid Aspinall
2007-11-18fixed spelling;Makarius Wenzel
2007-11-15Fix mail address/name for MakariusDavid Aspinall
2007-10-25Simplify version editing to use DOWNLOADHTMLS and use %{version} in specDavid Aspinall
2007-03-04Choose Emacs instead of XEmacsDavid Aspinall
2007-03-03Switch to 3.7preDavid Aspinall
2007-01-20Correct mail domainDavid Aspinall
2006-12-20Remove isa dirDavid Aspinall
2006-09-22Packaging fixes: put isar/interface in right place; install examples and doc ...David Aspinall
2006-08-28Cleanup makefilesDavid Aspinall
2006-08-28Cleanup makefilesDavid Aspinall
2006-08-23Syntax strictitudeDavid Aspinall
2005-09-21Select EMACS based on xemacs if available, otherwise emacsDavid Aspinall
2005-07-15fix tar arg orderDavid Aspinall
2005-05-17Add missing lib/David Aspinall
2005-02-13Comments.David Aspinall
2005-02-13Added simple testing framework (in progress)David Aspinall
2004-12-01Name change of TODO/BUGS filesDavid Aspinall
2004-08-25Hack names of xemacs-elc emacs-elc packages tooDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-22 11:23:01 +0000