Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | - Welcome X.org 7.2 \o/. | flz | 2007-05-20 | 1 | -0/+1 |
* | Make sysctl check less noisy if compat.linux.osrelease doesn't exist. | edwin | 2007-04-13 | 1 | -1/+1 |
* | - Update to 4.0.6 | miwi | 2007-04-12 | 2 | -4/+10 |
* | - Fix Registration URL for download | miwi | 2006-11-13 | 1 | -1/+1 |
* | - Update to 4.0.2 | rafan | 2006-09-15 | 5 | -50/+46 |
* | Fix IGNORE[a]nce if distfile has not yet been downloaded | vs | 2005-12-08 | 1 | -11/+2 |
* | Uppaal is an integrated tool environment for modeling, validation | vs | 2005-11-16 | 7 | -0/+142 |