point the converter tool

lip6 · Jul 3, 2024 · 8d4552a · 8d4552a
1 parent c580d7e
commit 8d4552a
Showing 1 changed file with 15 additions and 3 deletions.
diff --git a/website/index.html b/website/index.html
@@ -1,12 +1,24 @@
 <h1> Download page for ITS tools command line</h1>
 
-<p> Despite the ui integration of ITS-Tools with Eclipse being very nice, many scenarios involve calling the ITS-tools as part of a process, thus are easier to write and maintain using the command line.
+<h2>Converter tool</h2>
+
+<p>This small tool can convert various dialects for Petri nets and properties to PNML standard for nets and MCC standard for properties.</p>
+
+<h2>Download the converter tool : <a href="fr.lip6.converter.jar">Converter tool</a>. 
+  This tool is packaged as a Java 17 or better executable : run it with "java -jar fr.lip6.converter.jar". </h2>
+<p> 
+
+<h2>Command line ITS-tools</h2>
+
+<p> Despite the ui integration of ITS-Tools with Eclipse being very nice, many scenarios involve calling the ITS-tools as part of a process,
+   thus are easier to write and maintain using the command line.
 Plus some people just think eclipse is bloated and over-complex or have never used it, adopting it because of ITS-tools is too much.
 However ITS-tools leverages many components of the eclipse platform, notably EMF and XText which made extracting our code a bit of an issue.
 </p>
 
 <p>
-So due to popular demand, we are happy to present the ITS-tools command line support, that allows to do everything we could from Eclipse, but using a plain command line and with minimal download/install hassle.
+So due to popular demand, we are happy to present the ITS-tools command line support,
+ that allows to do everything we could from Eclipse, but using a plain command line and with minimal download/install hassle.
 </p>
 
 <h2>Download the its-cl ITS tools command line for Linux here : <a href="fr.lip6.move.gal.itscl.product-linux.gtk.x86_64.zip"> its-cl Linux (gtk, x64)</a> 
@@ -18,7 +30,7 @@ <h2>Download the its-cl ITS tools command line for Windows here : <a href="fr.li
 
 <h2>Download the its-cl ITS tools command line for MacOS here : <a href="fr.lip6.move.gal.itscl.product-macosx.cocoa.x86_64.zip"> its-cl OSX (Cocoa x64)</a> </h2>
 
-<h3> Please note that you need Java 11 or better to run these tools. Simply unzip and run "its-tools" command.</h3>
+<h3> Please note that you need Java 17 or better to run these tools. Simply unzip and run "its-tools" command.</h3>
 
 <p>
 Current flags are relatively limited :<br/>