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