| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | [MAINTAINER] math/proofgeneral: 3.7.0 -> 3.7.1 | Edwin Groothuis | 2008-08-15 | 1 | -0/+6 |
| * | - Update to 3.7 | Rong-En Fan | 2008-04-04 | 1 | -505/+525 |
| * | Presenting GNOME 2.20.1 and all related works for FreeBSD. The official | Joe Marcus Clarke | 2007-10-24 | 1 | -5/+6 |
| * | * Remove the direct inclusion of bsd.emacs.mk | Andrey Slusar | 2007-02-06 | 1 | -341/+451 |
| * | Fix plist and unbroken port. | Andrey Slusar | 2006-11-11 | 1 | -1/+0 |
| * | - Remove EMACS_SITE_LISTDIR if empty to satisfy pointyhat | Sergey Matveychuk | 2006-05-16 | 1 | -0/+1 |
| * | - Update to 3.6 | Sergey Matveychuk | 2006-05-01 | 1 | -16/+73 |
| * | Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtry | Edwin Groothuis | 2006-01-22 | 1 | -1/+1 |
| * | Fix plist. | Simon Barner | 2005-09-15 | 1 | -0/+3 |
| * | Add proofgeneral 3.5, a generic interface for proof assistants. | Simon Barner | 2005-08-31 | 1 | -0/+380 |
 |
index : ports | |
| FreeBSD ports tree |
| aboutsummaryrefslogtreecommitdiff |