aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.devel
Commit message (Expand)AuthorAge
* 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
* Add missing lib/Gravatar David Aspinall2005-05-17
* Comments.Gravatar David Aspinall2005-02-13
* Added simple testing framework (in progress)Gravatar David Aspinall2005-02-13
* Name change of TODO/BUGS filesGravatar David Aspinall2004-12-01
* Hack names of xemacs-elc emacs-elc packages tooGravatar David Aspinall2004-08-25
* Change develdownload.php -> develdownload.htmlGravatar David Aspinall2004-08-25
* Update to version 3.6 pre-releaseGravatar David Aspinall2004-08-25
* Add lib to elisp paths. Name ETAGS program.Gravatar David Aspinall2004-08-25
* Updated.Gravatar David Aspinall2004-04-24
* Update pre-rel tagGravatar David Aspinall2004-04-24
* Fix commentGravatar David Aspinall2004-04-24
* Fix my email addr.Gravatar David Aspinall2004-04-16
* Add -d to first update in tagGravatar David Aspinall2004-04-06
* Comment.Gravatar David Aspinall2004-03-01
* Tweaks to building tar file to include correct files. Remove golive from fak...Gravatar David Aspinall2004-03-01