Recent changes to Download

Download modified by

Tue, 12 Dec 2017 08:45:31 -0000

--- v13
+++ v14
@@ -1,6 +1,8 @@
 CitLab can be installed as eclipse plugin. Add the following url to the update sites of your eclipse:

 <http: svn.code.sf.net="" p="" citlab="" code="" updatesite=""/> 
+
+Deselect "Group items by category" checkbox in order to see the available plugins.

 After the installation process ends, check for Eclipse Updates and install them.

Download modified by

Tue, 05 Dec 2017 16:00:54 -0000

--- v12
+++ v13
@@ -4,10 +4,10 @@

 After the installation process ends, check for Eclipse Updates and install them.

-The plugins are installed together with all the dependencies, except for the executables for Casa and medici under windows. For those programs you need to install cygwin (you need /usr/bin/cygwin1.dll, /usr/bin/cygwin1.dll). 
+The plugins are installed together with all the dependencies, except for the executables for Casa and medici under Windows. For those programs, you need to install cygwin (you need /usr/bin/cygwin1.dll, /usr/bin/cygwin1.dll).

 To use the new validation tools, download the right yices1 release at
-<http: yices.csl.sri.com="" old="" download-yices1-full.shtml="">:
+<http: yices.csl.sri.com="" old="" download-yices1-full.html="">:
 Windows users can download Yices with GMP statically linked and extract 
 libyices.dll from the subfolder "lib" of the downloaded archive

Download modified by

Wed, 23 Nov 2016 14:28:38 -0000

--- v11
+++ v12
@@ -1,12 +1,12 @@
-CitLab can be installed as eclipse plugins. Add the following url to the update sites of your eclipse: 
+CitLab can be installed as eclipse plugin. Add the following url to the update sites of your eclipse:

 <http: svn.code.sf.net="" p="" citlab="" code="" updatesite=""/> 

-After the installation process enede, check for Eclipse Updates and install them.
+After the installation process ends, check for Eclipse Updates and install them.

-The plugins are installed together with all the dependencies, except the executables for Casa and medici under windows. For those programs you need to install cygwin (you need /usr/bin/cygwin1.dll, /usr/bin/cygwin1.dll). 
+The plugins are installed together with all the dependencies, except for the executables for Casa and medici under windows. For those programs you need to install cygwin (you need /usr/bin/cygwin1.dll, /usr/bin/cygwin1.dll). 

-To use the new validation tools download the right yices1 release at
+To use the new validation tools, download the right yices1 release at
 <http: yices.csl.sri.com="" old="" download-yices1-full.shtml="">:
 Windows users can download Yices with GMP statically linked and extract 
 libyices.dll from the subfolder "lib" of the downloaded archive

Download modified by Paolo Vavassori

Paolo Vavassori — Wed, 03 Feb 2016 10:11:29 -0000

--- v10
+++ v11
@@ -1,6 +1,8 @@
 CitLab can be installed as eclipse plugins. Add the following url to the update sites of your eclipse:

-<http: svn.code.sf.net="" p="" citlab="" code="" updatesite=""/> (Thanks to Enrico Bacis's help during the test process) 
+<http: svn.code.sf.net="" p="" citlab="" code="" updatesite=""/> 
+
+After the installation process enede, check for Eclipse Updates and install them.

 The plugins are installed together with all the dependencies, except the executables for Casa and medici under windows. For those programs you need to install cygwin (you need /usr/bin/cygwin1.dll, /usr/bin/cygwin1.dll).

Download modified by

Sun, 15 Nov 2015 18:32:13 -0000

--- v9
+++ v10
@@ -4,15 +4,15 @@

 The plugins are installed together with all the dependencies, except the executables for Casa and medici under windows. For those programs you need to install cygwin (you need /usr/bin/cygwin1.dll, /usr/bin/cygwin1.dll). 

-
 To use the new validation tools download the right yices1 release at
-<http: yices.csl.sri.com="" old="" download-yices1.shtml="">:
+<http: yices.csl.sri.com="" old="" download-yices1-full.shtml="">:
 Windows users can download Yices with GMP statically linked and extract 
 libyices.dll from the subfolder "lib" of the downloaded archive
+
 Linux and OSX users can only download Yices with GMP dynamically linked and extract 
 libyices.so from the subfolder "lib" of the downloaded archive so they have to install
 also GMP library https://gmplib.org/
-After this steps
+After these steps
 Add the following line to your eclipse.ini
 -Xms400m -Xmx512m -Dorg.eclipse.swt.browser.DefaultType=mozilla
 When you use for the first time the validator CitLab will ask you to give the path

Download modified by

Thu, 30 Jul 2015 09:05:40 -0000

--- v8
+++ v9
@@ -6,7 +6,7 @@

 To use the new validation tools download the right yices1 release at
-http://yices.csl.sri.com/old/download-yices1.shtml:
+<http: yices.csl.sri.com="" old="" download-yices1.shtml="">:
 Windows users can download Yices with GMP statically linked and extract 
 libyices.dll from the subfolder "lib" of the downloaded archive
 Linux and OSX users can only download Yices with GMP dynamically linked and extract

Download modified by

Thu, 30 Jul 2015 08:31:17 -0000

--- v7
+++ v8
@@ -6,7 +6,7 @@

 To use the new validation tools download the right yices1 release at
-http://yices.csl.sri.com/old/download-yices1.shtml :
+http://yices.csl.sri.com/old/download-yices1.shtml:
 Windows users can download Yices with GMP statically linked and extract 
 libyices.dll from the subfolder "lib" of the downloaded archive
 Linux and OSX users can only download Yices with GMP dynamically linked and extract

Download modified by

Thu, 30 Jul 2015 08:30:17 -0000

--- v6
+++ v7
@@ -6,7 +6,7 @@

 To use the new validation tools download the right yices1 release at
-http://yices.csl.sri.com/old/download-yices1.shtml:
+http://yices.csl.sri.com/old/download-yices1.shtml :
 Windows users can download Yices with GMP statically linked and extract 
 libyices.dll from the subfolder "lib" of the downloaded archive
 Linux and OSX users can only download Yices with GMP dynamically linked and extract

Download modified by

Thu, 30 Jul 2015 08:29:54 -0000

--- v5
+++ v6
@@ -6,7 +6,7 @@

 To use the new validation tools download the right yices1 release at
-http://yices.csl.sri.com/download-yices1-full.shtml:
+http://yices.csl.sri.com/old/download-yices1.shtml:
 Windows users can download Yices with GMP statically linked and extract 
 libyices.dll from the subfolder "lib" of the downloaded archive
 Linux and OSX users can only download Yices with GMP dynamically linked and extract

Download modified by Paolo Vavassori

Paolo Vavassori — Fri, 22 May 2015 08:32:41 -0000

--- v4
+++ v5
@@ -3,3 +3,16 @@
 <http: svn.code.sf.net="" p="" citlab="" code="" updatesite=""/> (Thanks to Enrico Bacis's help during the test process)

 The plugins are installed together with all the dependencies, except the executables for Casa and medici under windows. For those programs you need to install cygwin (you need /usr/bin/cygwin1.dll, /usr/bin/cygwin1.dll). 
+
+
+To use the new validation tools download the right yices1 release at
+http://yices.csl.sri.com/download-yices1-full.shtml:
+Windows users can download Yices with GMP statically linked and extract 
+libyices.dll from the subfolder "lib" of the downloaded archive
+Linux and OSX users can only download Yices with GMP dynamically linked and extract 
+libyices.so from the subfolder "lib" of the downloaded archive so they have to install
+also GMP library https://gmplib.org/
+After this steps
+Add the following line to your eclipse.ini
+-Xms400m -Xmx512m -Dorg.eclipse.swt.browser.DefaultType=mozilla
+When you use for the first time the validator CitLab will ask you to give the path