Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Remove devel. from testall target | 2009-09-08 | |
* | Add tidy target (cleans whitespace) | 2009-09-05 | |
* | Hide echo | 2009-09-04 | |
* | Clean up IGNOREDFILES a bit | 2009-08-31 | |
* | Remove obsolete file mention | 2009-08-20 | |
* | Fix to use in place of make, see http://proofgeneral.inf.ed.ac.uk/trac/ticke... | 2009-03-10 | |
* | merge develdownload.html with devel.html | 2008-12-05 | |
* | Updated. | 2008-12-05 | |
* | Updates for 4.0 | 2008-08-03 | |
* | Merge changes from Version4Branch. | 2008-07-24 | |
* | Move to 3.7.1 pre-rel | 2008-02-03 | |
* | Updated. | 2008-01-31 | |
* | Remove more zip | 2008-01-30 | |
* | Remove zip from distribution, only use tgz | 2008-01-30 | |
* | Missing quote | 2008-01-25 | |
* | Many compatibility updates, bug fixes, rearrangements for compilation. | 2008-01-15 | |
* | Removed file | 2007-12-14 | |
* | Remove overriding BYTECOMP definition | 2007-12-14 | |
* | Account for removed files | 2007-12-13 | |
* | Add Gerwin | 2007-12-13 | |
* | Add makarius=markus | 2007-12-13 | |
* | Add assia | 2007-12-13 | |
* | More dirs for TAGS | 2007-12-09 | |
* | fixed spelling; | 2007-11-18 | |
* | Fix mail address/name for Makarius | 2007-11-15 | |
* | Simplify version editing to use DOWNLOADHTMLS and use %{version} in spec | 2007-10-25 | |
* | Choose Emacs instead of XEmacs | 2007-03-04 | |
* | Switch to 3.7pre | 2007-03-03 | |
* | Correct mail domain | 2007-01-20 | |
* | Remove isa dir | 2006-12-20 | |
* | Packaging fixes: put isar/interface in right place; install examples and doc ... | 2006-09-22 | |
* | Cleanup makefiles | 2006-08-28 | |
* | Cleanup makefiles | 2006-08-28 | |
* | Syntax strictitude | 2006-08-23 | |
* | Select EMACS based on xemacs if available, otherwise emacs | 2005-09-21 | |
* | fix tar arg order | 2005-07-15 | |
* | Add missing lib/ | 2005-05-17 | |
* | Comments. | 2005-02-13 | |
* | Added simple testing framework (in progress) | 2005-02-13 | |
* | Name change of TODO/BUGS files | 2004-12-01 | |
* | Hack names of xemacs-elc emacs-elc packages too | 2004-08-25 | |
* | Change develdownload.php -> develdownload.html | 2004-08-25 | |
* | Update to version 3.6 pre-release | 2004-08-25 | |
* | Add lib to elisp paths. Name ETAGS program. | 2004-08-25 | |
* | Updated. | 2004-04-24 | |
* | Update pre-rel tag | 2004-04-24 | |
* | Fix comment | 2004-04-24 | |
* | Fix my email addr. | 2004-04-16 | |
* | Add -d to first update in tag | 2004-04-06 | |
* | Comment. | 2004-03-01 |