Warning: Can't synchronize with repository "(default)" (/local/svn/repos/sde does not appear to be a Subversion repository.). Look in the Trac log for more information.

Changes between Version 3 and Version 4 of SpinAndUppaalWebServices


Ignore:
Timestamp:
05/25/07 09:36:02 (10 years ago)
Author:
mayer
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • SpinAndUppaalWebServices

    v3 v4  
    1919  * Running build.xml will automatically deploy the Web service 
    2020  * Make sure Apache Tomcat can find the spin and uppaal (verifyta) executables in the PATH 
     21  * This has only been tested on Linux