- Committer: Jiri Srba
- Date: 2018-08-01 13:14:29 UTC
- mfrom: (965.4.3 tapaal-gradlebuild)
- Revision ID: srba@cs.aau.dk-20180801131429-833cztbixghy1jbd
merged in branch lp:~yrke/tapaal/tapaal-gradlebuild adding gradle build support (not fully functional yet, so official builds should be done using make)
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
TimeIntervalTest.java |
329.1.140 | 13 years ago | Morten Jacobsen | huge refactoring to change the way shared places w | 1.5 KB |
|
|
|
TimeInvariantTests.java |
329.1.140 | 13 years ago | Morten Jacobsen | huge refactoring to change the way shared places w | 1.5 KB |
|
|