Eric Ramat
|
55881a518e
Update tool versions in README file
|
5 lat temu |
Eric Ramat
|
76caeac1d1
Clean and optimize code
|
5 lat temu |
Eric Ramat
|
31316d9b50
Change project name
|
7 lat temu |
Eric Ramat
|
5cd79e6955
Change copyright dates
|
10 lat temu |
Eric Ramat
|
40a4ab28d9
Complete AUTHORS, README and COPYING files
|
11 lat temu |
Eric Ramat
|
65ff8d5aff
DEVS implementation: initial commit
|
11 lat temu |