Dominik Tesch 6a4090844f replace JavaSE-1.6 to JavaSE-1.7 in all MANIFEST.MF 9 years ago
..
.settings 6a4090844f replace JavaSE-1.6 to JavaSE-1.7 in all MANIFEST.MF 9 years ago
META-INF 20f7649f79 replace JavaSE-1.6 to JavaSE-1.7 in all MANIFEST.MF 9 years ago
model 3f52232228 First draft of new type system implementation 10 years ago
src 079b1cf0ba Synchronized threads and Stackframes 9 years ago
.classpath 6a4090844f replace JavaSE-1.6 to JavaSE-1.7 in all MANIFEST.MF 9 years ago
.gitignore 3c6eb975b0 Added .gitignore files 10 years ago
.project fa17e75d27 version upgrade to 2.1.2 12 years ago
build.properties e8f04dd8ab Refactored Simulation core 12 years ago
plugin.properties 48ac596382 DebugModel refactoring: 13 years ago
plugin.xml ad8b3604ab Removed simulation SCT language provider extension point, replaced by DomainRegistry 10 years ago
pom.xml 4b47bd8730 [maven] Changed poms to reflect plugin structure 10 years ago