Andreas Mülder d10f7fe5f0 removed jre.compilation.profile = J2SE-1.5 from build.properties 10 years ago
..
.settings 67d59a5f55 Bundle-RequiredExecutionEnvironment: JavaSE-1.6 10 years ago
META-INF 67d59a5f55 Bundle-RequiredExecutionEnvironment: JavaSE-1.6 10 years ago
model 77f27de6c2 Changed default domain id 10 years ago
src d511bbd118 Deleted dead code 10 years ago
.classpath 67d59a5f55 Bundle-RequiredExecutionEnvironment: JavaSE-1.6 10 years ago
.project fa17e75d27 version upgrade to 2.1.2 12 years ago
build.properties d10f7fe5f0 removed jre.compilation.profile = J2SE-1.5 from build.properties 10 years ago
plugin.properties 5d07475b15 Allow registration of different Type Systems 10 years ago
plugin.xml 14e0a977f4 uriMappings for installed plugins 13 years ago
pom.xml 0406a0604d disabled constants in stext, incremented to version 2.4.1 10 years ago