Achim D. Brucker
|
b242e287f8
|
Pretty printing.
|
2016-11-06 10:56:25 +00:00 |
Achim D. Brucker
|
604062371a
|
Cleanup of dependencies.
|
2016-11-05 16:31:02 +00:00 |
Achim D. Brucker
|
c718a12f48
|
Fixed dependency problems/setup after converting to a regular Java project instead of an Eclipse plugin.
|
2016-08-29 10:34:05 +01:00 |
Achim D. Brucker
|
f9389b3e12
|
Pushed Java version to 1.8.
|
2016-08-28 15:35:21 +01:00 |
Achim D. Brucker
|
9315e80121
|
Removed outdated dependencies and Eclipse plugin configuration.
|
2016-08-28 02:10:17 +01:00 |
Achim D. Brucker
|
83f3617ce3
|
Added source directory.
|
2016-08-23 23:59:07 +01:00 |
Achim D. Brucker
|
1c1c2817d6
|
Added/updated cvc3 dependency (draft).
|
2015-06-09 22:39:49 +02:00 |
Achim D. Brucker
|
0ba848d2d5
|
Initial tycho setup.
|
2015-06-09 22:35:09 +02:00 |