svn - Revision 7131: /core/branches/traceengine/org.eclipse.viatra2.core2/src/org/eclipse/viatra2

• ..
• EclipseExtensionProvider.java
• GeneralCodeoutFactory.java
• GeneralInterpreterFactory.java
• GeneralLoaderFactory.java
• GeneralNativeImporterFactory.java
• ViatraPlugin.java
• buffers/
• codegen/
• copier/
• core/
• errors/
• exports/
• framework/
• imports/
• interpreters/
• loaders/
• logger/
• merger/
• modelChecker/
• natives/
• tags/