Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | - Remove EMACS_SITE_LISTDIR if empty to satisfy pointyhat | Sergey Matveychuk | 2006-05-16 | 1 | -0/+1 |
* | Remove USE_REINPLACE from ports starting with M | Edwin Groothuis | 2006-05-10 | 1 | -1/+0 |
* | - Add USE_EMACS=yes. It should present in all emacsen ports. | Sergey Matveychuk | 2006-05-06 | 1 | -0/+1 |
* | - Update to 3.6 | Sergey Matveychuk | 2006-05-01 | 9 | -108/+126 |
* | SHA256ify | Edwin Groothuis | 2006-01-22 | 1 | -0/+1 |
* | Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtry | Edwin Groothuis | 2006-01-22 | 1 | -1/+1 |
* | BROKEN on amd64: Does not build | Kris Kennaway | 2005-10-28 | 1 | -0/+4 |
* | Fix plist. | Simon Barner | 2005-09-15 | 1 | -0/+3 |
* | Fix build: | Simon Barner | 2005-09-15 | 2 | -7/+35 |
* | Add proofgeneral 3.5, a generic interface for proof assistants. | Simon Barner | 2005-08-31 | 10 | -0/+715 |