add built-in support for formalisms like mcrl2, mucrl, jararaca, with adjustable preferences
|Status:||Assigned||Start date:||06 Nov 2009|
let JTorX know about file suffixes of lpe's, lpo's, and of jararaca, and invoke the right tool to start them.
Some (small TorX-specific) tools (jararaca?) we could even include in the distribution;
bigger tools (environments) like ltsmin,mucrl, mcrl2, would continue to have to be installed separately.
For each suffix, a default tool (command line) should be configured
(maybe two versions: to cater for difference between unix/windows?)
that can be overruled by the user in a preferences pane.
The overall idea is that this should it make it less necessary to use shell scripts with file suffix .tx for torx explorers.