| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | - additional url | Jan Rękorajski | 12 years | |
| Age | Commit message | Author | Files | Lines |
| 2012-06-24 | - additional urlHEADmaster | Jan Rękorajski | 1 | -0/+1 |
| 2012-06-24 | - 4.0.7 | Jan Rękorajski | 1 | -6/+6 |
| 2012-06-24 | - tabs in preamble | Elan Ruusamäe | 1 | -1/+1 |
| 2012-06-24 | - converted to UTF-8 | Jan Rękorajski | 1 | -6/+6 |
| 2012-06-24 | - up to 4.0.2 | Jan Rękorajski | 1 | -8/+15 |
| 2012-06-24 | - fixed URL; BR: unzip | darekr | 1 | -1/+2 |
| 2012-06-24 | - pl | Jakub Bogusz | 1 | -6/+11 |
| 2012-06-24 | - NoSource0-md5 | ankry | 1 | -1/+1 |
| 2012-06-24 | - initial revision | Jan Rękorajski | 1 | -0/+56 |
| Clone | ||||
| git://git.pld-linux.org/packages/uppaal.git | ||||
 |
index : packages/uppaal.git | |
| Environment for modeling, simulation and verification of real-time systems | PLD Gitolite User |
| summaryrefslogtreecommitdiff |