100644 blob bbdfc34c9e9f34fbb09cf01cd449ef57a186fadf	.gitignore
100644 blob a9ca76e7f3b3b5050acfdd198329aa42b01bbd8c	.project
100644 blob 6e2bf1aa1b4743653ab99c1dd2327e3d713cc05e	README.md
100644 blob d35d5aed64cde44328e345793177b7001aec6ba3	about.html
040000 tree d7af378f37f64bc4cc95edbf7e919973484993cb	developer
040000 tree c6b4c5909cde44490c82f0eb2e17cca769ffdf7d	org.eclipse.efm.doc.architecture
040000 tree 565bb53e1b3690f9b98cb2727c93df3ed1c6768e	org.eclipse.efm.doc.helpcontents
040000 tree 527be171818b9da5b6e314b62c60266d2858ca64	org.eclipse.efm.formalml.concretesyntax
100644 blob 188299ab1b9aa231a08c6dc9149b83decacc0e1a	pom.xml