Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | 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 | |
| | ||||
* | Add Gerwin | David Aspinall | 2007-12-13 | |
| | ||||
* | Add makarius=markus | David Aspinall | 2007-12-13 | |
| | ||||
* | Add assia | David Aspinall | 2007-12-13 | |
| | ||||
* | More dirs for TAGS | David Aspinall | 2007-12-09 | |
| | ||||
* | fixed spelling; | Makarius Wenzel | 2007-11-18 | |
| | ||||
* | Fix mail address/name for Makarius | David Aspinall | 2007-11-15 | |
| | ||||
* | Simplify version editing to use DOWNLOADHTMLS and use %{version} in spec | David Aspinall | 2007-10-25 | |
| | ||||
* | Choose Emacs instead of XEmacs | David Aspinall | 2007-03-04 | |
| | ||||
* | Switch to 3.7pre | David Aspinall | 2007-03-03 | |
| | ||||
* | Correct mail domain | David Aspinall | 2007-01-20 | |
| | ||||
* | Remove isa dir | David Aspinall | 2006-12-20 | |
| | ||||
* | Packaging fixes: put isar/interface in right place; install examples and doc ↵ | David Aspinall | 2006-09-22 | |
| | | | | files from Makefile. | |||
* | Cleanup makefiles | David Aspinall | 2006-08-28 | |
| | ||||
* | Cleanup makefiles | David Aspinall | 2006-08-28 | |
| | ||||
* | Syntax strictitude | David Aspinall | 2006-08-23 | |
| | ||||
* | Select EMACS based on xemacs if available, otherwise emacs | David Aspinall | 2005-09-21 | |
| | ||||
* | fix tar arg order | David Aspinall | 2005-07-15 | |
| | ||||
* | Add missing lib/ | David Aspinall | 2005-05-17 | |
| | ||||
* | Comments. | David Aspinall | 2005-02-13 | |
| | ||||
* | Added simple testing framework (in progress) | David Aspinall | 2005-02-13 | |
| | ||||
* | Name change of TODO/BUGS files | David Aspinall | 2004-12-01 | |
| | ||||
* | Hack names of xemacs-elc emacs-elc packages too | David Aspinall | 2004-08-25 | |
| | ||||
* | Change develdownload.php -> develdownload.html | David Aspinall | 2004-08-25 | |
| | ||||
* | Update to version 3.6 pre-release | David Aspinall | 2004-08-25 | |
| | ||||
* | Add lib to elisp paths. Name ETAGS program. | David Aspinall | 2004-08-25 | |
| | ||||
* | Updated. | David Aspinall | 2004-04-24 | |
| | ||||
* | Update pre-rel tag | David Aspinall | 2004-04-24 | |
| | ||||
* | Fix comment | David Aspinall | 2004-04-24 | |
| | ||||
* | Fix my email addr. | David Aspinall | 2004-04-16 | |
| | ||||
* | Add -d to first update in tag | David Aspinall | 2004-04-06 | |
| | ||||
* | Comment. | David Aspinall | 2004-03-01 | |
| | ||||
* | Tweaks to building tar file to include correct files. Remove golive from ↵ | David Aspinall | 2004-03-01 | |
| | | | | fakerelease | |||
* | Add logupdate target (still not part of default build process) | David Aspinall | 2004-02-08 | |
| | ||||
* | Updated. | David Aspinall | 2004-02-08 | |
| | ||||
* | Comments about prereleasetag | David Aspinall | 2004-02-08 | |
| | ||||
* | Clean releasedir after golive | David Aspinall | 2004-02-08 | |
| | ||||
* | Try to remove link to ProofGeneral from web area. | David Aspinall | 2004-02-08 | |
| | ||||
* | Tweak golive | David Aspinall | 2004-02-08 | |
| | ||||
* | Update email and web addresses | David Aspinall | 2004-02-08 | |
| | ||||
* | Tweak RELEASEDIR, GOLIVE | David Aspinall | 2004-02-08 | |
| | ||||
* | Fix golive loc | David Aspinall | 2004-02-08 | |
| | ||||
* | Updated. | David Aspinall | 2004-02-08 | |
| | ||||
* | Fix golive, add some .cvsignore to ignored files | David Aspinall | 2004-02-08 | |
| | ||||
* | Tune RPMBUILD | David Aspinall | 2004-02-08 | |
| | ||||
* | Remove development distribution. | David Aspinall | 2004-02-07 | |
| | ||||
* | Updates for moving html out of ProofGeneral dir | David Aspinall | 2004-02-07 | |
| | ||||
* | Updates for moving html out of ProofGeneral dir | David Aspinall | 2004-02-07 | |
| |