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