Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | - 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 |