-
- Downloads
change parser version (runtime error?)
Showing
- org.eventb.texteditor.parsers/.classpath 5 additions, 3 deletionsorg.eventb.texteditor.parsers/.classpath
- org.eventb.texteditor.parsers/META-INF/MANIFEST.MF 20 additions, 1 deletionorg.eventb.texteditor.parsers/META-INF/MANIFEST.MF
- org.eventb.texteditor.parsers/build.properties 1 addition, 3 deletionsorg.eventb.texteditor.parsers/build.properties
- org.eventb.texttools/META-INF/MANIFEST.MF 1 addition, 2 deletionsorg.eventb.texttools/META-INF/MANIFEST.MF
Please register or sign in to comment