Changes between Version 9 and Version 10 of Downloads

Timestamp:

Jun 17, 2011, 5:44:32 PM (14 years ago)

Author:

hewelt

Comment:

added section for LolaPlugin?

Downloads

@@ -12 +12 @@
 
 Renew 2.2 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 dist/plugins directory of Renew 2.2. That's it. When you start Renew, you should see Lola in the Start screen and the menu entry "Lola Integration" in the Tool menu.
+
+[https://paose.informatik.uni-hamburg.de/downloads/lola-0.5.2-linux.zip Lola Plugin for Linux]