devs-lab/artis-star

作者	SHA1 备注	提交日期
Eric Ramat	55881a518e Update tool versions in README file	5 年之前
Eric Ramat	76caeac1d1 Clean and optimize code	5 年之前
Eric Ramat	31316d9b50 Change project name	7 年之前
Eric Ramat	5cd79e6955 Change copyright dates	10 年之前
Eric Ramat	40a4ab28d9 Complete AUTHORS, README and COPYING files	11 年之前
Eric Ramat	65ff8d5aff DEVS implementation: initial commit	11 年之前