Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | - Update to 4.0.7 | Martin Wilke | 2009-01-10 | 5 | -22/+30 |
* | Bump portrevision due to upgrade of devel/gettext. | Edwin Groothuis | 2008-06-06 | 1 | -1/+1 |
* | - Welcome X.org 7.2 \o/. | Florent Thoumie | 2007-05-19 | 1 | -0/+1 |
* | Make sysctl check less noisy if compat.linux.osrelease doesn't exist. | Edwin Groothuis | 2007-04-13 | 1 | -1/+1 |
* | - Update to 4.0.6 | Martin Wilke | 2007-04-11 | 2 | -4/+10 |
* | - Fix Registration URL for download | Martin Wilke | 2006-11-13 | 1 | -1/+1 |
* | - Update to 4.0.2 | Rong-En Fan | 2006-09-15 | 5 | -50/+46 |
* | Fix IGNORE[a]nce if distfile has not yet been downloaded | Volker Stolz | 2005-12-08 | 1 | -11/+2 |
* | Uppaal is an integrated tool environment for modeling, validation | Volker Stolz | 2005-11-16 | 7 | -0/+142 |