Changes between Version 26 and Version 27 of Downloads

Timestamp:

May 9, 2013, 1:11:42 AM (12 years ago)

Author:

Lawrence Cabac

Comment:

--

Downloads

@@ -11 +11 @@
 === Renew release ===
 
-Renew 2.2 is available at http://www.renew.de/
+Renew 2.4 is available at http://www.renew.de/
 
 === Lola Plugin ===
 
-The Lola Plugin for Renew integrates verification capabilities in the Renew tool. It requires Renew 2.2 which can be also downloaded from this site. To use the plugin, just download the zip-file for your system type and unzip it into the plugins directory of Renew 2.2. To use the ability to display reachability graphs you will additionally need graph2dot and dot (part of graphviz). Please consult the README file which is part of the distribution. 
-When you start Renew, you should see Lola in the Start screen and the menu entry "Lola Integration" in the Tool menu.
+The Lola Plugin for Renew integrates verification capabilities in the Renew tool. It requires Renew 2.4 which can be also downloaded from this site. To use the plugin, just download the zip-file for your system type and unzip it into the plugins directory of Renew 2.4. To use the ability to display reachability graphs you will additionally need dot (part of graphviz). Please consult the README file, which is part of the distribution. 
+When you start Renew, you should see Lola in the Start screen (or the prompt's _list_ command) and the menu entry "Lola Integration" in the Tool menu.
 
-[https://paose.informatik.uni-hamburg.de/downloads/lola-0.7.1-linux.zip Lola Plugin 0.7.1 for Linux] (January 2012)
+For further detail see this publication at http://ceur-ws.org/Vol-723/paper9.pdf.
 
-[https://paose.informatik.uni-hamburg.de/downloads/lola-0.7.1-win.zip Lola Plugin 0.7.1 for Windows] (January 2012)
+Lola Plugin 0.8.4 for Linux [https://paose.informatik.uni-hamburg.de/downloads/lola-2.4_0.8.4-lin32.zip 32bit] [https://paose.informatik.uni-hamburg.de/downloads/lola-2.4_0.8.4-lin64.zip 64it] (May 2013)
 
-[https://paose.informatik.uni-hamburg.de/downloads/lola-0.7.1-mac.zip Lola Plugin 0.7.1 for Mac OS X] (January 2012)
+Lola Plugin 0.8.4 for Windows [https://paose.informatik.uni-hamburg.de/downloads/lola-2.4_0.8.4-win32.zip 32bit] [https://paose.informatik.uni-hamburg.de/downloads/lola-2.4_0.8.4-win64.zip 64it] (May 2013)
+
+Lola Plugin 0.8.4 for Mac (Intel) [https://paose.informatik.uni-hamburg.de/downloads/lola-2.4_0.8.4-mac64.zip 64it] (May 2013)
 
 ==== Known Issues ====
@@ -31 +33 @@
 *Remedy:* Add a line containing the full new path for the system in file /etc/launchd.conf.
 
-If the file does not exist, simply do something like the following and reboot your system.
+If the file does not exist, simply do *something like* the following and reboot your system.
 {{{
-sudo echo "setenv PATH /usr/bin:/bin:/usr/sbin:/sbin:/opt/local/bin" > /etc/launchd.conf
+sudo echo "setenv PATH /usr/bin:/bin:/usr/sbin:/sbin:/opt/local/bin" >> /etc/launchd.conf
 }}}
 If the file already exists, edit the file as super user.
@@ -39 +41 @@
 
 Check your current PATH variable by downloading this [[https://paose.informatik.uni-hamburg.de/paose/raw-attachment/wiki/Downloads/pathproperty.rnw|net]] and starting it in Renew. (See the [[https://paose.informatik.uni-hamburg.de/paose/attachment/wiki/Downloads/pathproperty.rnw|net]].)
+
+===== Using the Lola plugin on Windows =====
+
+* The Lola executables require a cygwin (see http://www.cygwin.com) environment (a cygwin1.dll in Lola/lib might be sufficient).