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