aboutsummaryrefslogtreecommitdiff
path: root/devel/uppaal
Commit message (Expand)AuthorAgeFilesLines
* - Fix Registration URL for downloadMartin Wilke2006-11-131-1/+1
* - Update to 4.0.2Rong-En Fan2006-09-155-50/+46
* Fix IGNORE[a]nce if distfile has not yet been downloadedVolker Stolz2005-12-081-11/+2
* Uppaal is an integrated tool environment for modeling, validationVolker Stolz2005-11-167-0/+142