Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

Camille
- Activity
- Members
- Labels
- Model registry

Snippets Groups Projects

18e7e5e1

Commit 18e7e5e1 authored Oct 1, 2010 by iweigelt

Downloads
- Patches
- Plain Diff

evaluating extensibility issues

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Camille@9892 1434b563-b632-4741-aa49-43a3a8374d2e

parent 8fc00396

No related branches found

No related tags found

Loading

Changes 8

Show whitespace changes

Inline Side-by-side

Showing

org.eventb.texttools/META-INF/MANIFEST.MF 4 additions, 2 deletions

org.eventb.texttools/META-INF/MANIFEST.MF
org.eventb.texttools/plugin.xml 6 additions, 0 deletions

org.eventb.texttools/plugin.xml
org.eventb.texttools/schema/org.eventb.texttools.syntaxExtension.exsd 123 additions, 0 deletions

...exttools/schema/org.eventb.texttools.syntaxExtension.exsd
org.eventb.texttools/src/org/eventb/texttools/Parser.java 25 additions, 3 deletions

org.eventb.texttools/src/org/eventb/texttools/Parser.java
org.eventb.texttools/src/org/eventb/texttools/PersistenceHelper.java 32 additions, 0 deletions

...texttools/src/org/eventb/texttools/PersistenceHelper.java
org.eventb.texttools/src/org/eventb/texttools/TextToolsPlugin.java 3 additions, 1 deletion

...b.texttools/src/org/eventb/texttools/TextToolsPlugin.java
org.eventb.texttools/src/org/eventb/texttools/merge/ModelMerge.java 20 additions, 4 deletions

....texttools/src/org/eventb/texttools/merge/ModelMerge.java
org.eventb.texttools/src/org/eventb/texttools/syntaxExtension/ISyntaxExtension.java 18 additions, 0 deletions

...rg/eventb/texttools/syntaxExtension/ISyntaxExtension.java

with 231 additions and 10 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment