aboutsummaryrefslogtreecommitdiff
path: root/devel/uppaal/pkg-descr
Commit message (Expand)AuthorAgeFilesLines
* Uppaal is an integrated tool environment for modeling, validationVolker Stolz2005-11-161-0/+9