Andreas Mülder 815a6fe4a8 incremented version qualifier - set provider name and plugin names 11 years ago
..
.settings 9265e91376 Set project encoding to utf-8 and unix line end 12 years ago
META-INF 815a6fe4a8 incremented version qualifier - set provider name and plugin names 11 years ago
icons f18a689c4f Refactoring of ISTextTypeSystem and ISTextTypeInferrer 11 years ago
src 5b780bd2b6 Added import scope to statachart interface specification and corresponding validator. 11 years ago
.classpath 1d3cd53334 moved sexec.edit to plugins directory 13 years ago
.project fa17e75d27 version upgrade to 2.1.2 12 years ago
build.properties aa20a7dfdd stext.edit Added plugin.properties to build.properties 13 years ago
plugin.properties f18a689c4f Refactoring of ISTextTypeSystem and ISTextTypeInferrer 11 years ago
plugin.xml 1d3cd53334 moved sexec.edit to plugins directory 13 years ago
pom.xml 815a6fe4a8 incremented version qualifier - set provider name and plugin names 11 years ago