Artifacts of org.overture.ide.plugins.latex org.overture.ide.plugins.latex