Artifacts of Overture IDE Eclipse LaTeX Creator feature #29

org.overturetool.ide.plugins.features / org.overture.ide.plugins.features.latex / 3.0.0 /

	org.overture.ide.plugins.features.latex-3.0.0.jar	Aug 28, 2020 2:01:54 PM	6.40 KB	view
	org.overture.ide.plugins.features.latex-3.0.0.pom	Aug 28, 2020 1:49:08 PM	696 B	view
	org.overture.ide.plugins.features.latex-3.0.0-p2artifacts.xml	Aug 28, 2020 2:01:53 PM	686 B	view
	org.overture.ide.plugins.features.latex-3.0.0-p2metadata.xml	Aug 28, 2020 2:01:53 PM	6.59 KB	view
(all files in zip)