aboutsummaryrefslogtreecommitdiffstats
path: root/devel/uppaal
Commit message (Expand)AuthorAgeFilesLines
* - Welcome X.org 7.2 \o/.flz2007-05-201-0/+1
* Make sysctl check less noisy if compat.linux.osrelease doesn't exist.edwin2007-04-131-1/+1
* - Update to 4.0.6miwi2007-04-122-4/+10
* - Fix Registration URL for downloadmiwi2006-11-131-1/+1
* - Update to 4.0.2rafan2006-09-155-50/+46
* Fix IGNORE[a]nce if distfile has not yet been downloadedvs2005-12-081-11/+2
* Uppaal is an integrated tool environment for modeling, validationvs2005-11-167-0/+142