Andreas Mülder 0406a0604d disabled constants in stext, incremented to version 2.4.1 10 years ago
..
.settings 9265e91376 Set project encoding to utf-8 and unix line end 12 years ago
META-INF 217080bec8 updated version to 2.3.1 11 years ago
src 11a3c8503f Refactoring of timer interfaces of java generator. 12 years ago
src-gen e116f0d18b Refactoring of timer interfaces of java generator. 12 years ago
.classpath 074f4afbc8 Update folder name to match project name 13 years ago
.project 074f4afbc8 Update folder name to match project name 13 years ago
GenModelJava.sgen 177b537afb 13 years ago
TrafficLightWaiting.sct d3c1f2f7f5 Added exit() method to IStatemachine interface. 12 years ago
assembly.xml 074f4afbc8 Update folder name to match project name 13 years ago
build.properties 074f4afbc8 Update folder name to match project name 13 years ago
pom.xml 0406a0604d disabled constants in stext, incremented to version 2.4.1 10 years ago