plugin.xml « ca.mcgill.ecse.dslreasoner.vampire.queries « Vampire-Solver « Solvers - VIATRA-Generator - Mirror of https://github.com/viatra/VIATRA-Generator

about summary refs log tree commit diff stats

path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/plugin.xml

blob: 2381b84f7ad47678f306fcdb608fd711a8e87052 (plain) (blame)

1	`<?xml version="1.0" encoding="UTF-8"?><?eclipse version="3.4"?><plugin/>`