New version released

git-svn-id: svn+ssh://svn.msr-inria.inria.fr/var/lib/svn/repository/tla/trunk/tla2-inria@21180 76a6fc44-f60b-0410-a9a8-e67b0e8fc65c
tlaplus · Apr 5, 2011 · a401ad3 · a401ad3
1 parent 8fdfe4d
commit a401ad3
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 5 deletions.
diff --git a/org.lamport.tla.toolbox.product.standalone/META-INF/MANIFEST.MF b/org.lamport.tla.toolbox.product.standalone/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: TLA+ Toolbox Standalone Product
 Bundle-SymbolicName: org.lamport.tla.toolbox.product.standalone;singleton:=true
-Bundle-Version: 1.2.1
+Bundle-Version: 1.3.1
 Bundle-Vendor: Simon Zambrovski, Leslie Lamport
 Bundle-RequiredExecutionEnvironment: J2SE-1.4
 Require-Bundle: org.eclipse.ui,

diff --git a/org.lamport.tla.toolbox.product.standalone/plugin.xml b/org.lamport.tla.toolbox.product.standalone/plugin.xml
@@ -29,7 +29,7 @@
          </property>
          <property
                name="aboutText"
-               value="The TLA+ Toolbox provides a user interface for TLA+ Tools. &#x0A;&#x0A;This is Version 1.3.1 of 24 January 2011 and includes:&#x0A;  - SANY Version 2.1 of 10 February 2011&#x0A;  - TLC Version 2.03 of 10 March 2011&#x0A;  - PlusCal Version 1.5 of 19 March 2011&#x0A;  - TLATeX Version .9 of 19 September 2007&#x0A;&#x0A;Don&apos;t forget to click on help.  You can learn about features that you never knew about or have forgotten.&#x0A;&#x0A;Please send us reports of problems or suggestions; see http://www.tlaplus.net .">
+               value="TLA+ Toolbox provides a user interface for TLA+ Tools. &#x0A;&#x0A;This is Version 1.3.1 of 5 April 2011 and includes:&#x0A;  - SANY Version 2.1 of 10 February 2011&#x0A;  - TLC Version 2.03 of 26 May 2010&#x0A;  - PlusCal Version 1.5 of 19 March 2011&#x0A;  - TLATeX Version .9 of 19 September 2007&#x0A;&#x0A;Don&apos;t forget to click on help.  You can learn about features that you never knew about or have forgotten.&#x0A;&#x0A;Please send us reports of problems or suggestions; see http://www.tlaplus.net .">
          </property>
          <property
                name="aboutImage"

diff --git a/org.lamport.tla.toolbox.product.standalone/standalone.product b/org.lamport.tla.toolbox.product.standalone/standalone.product
@@ -8,10 +8,10 @@
       <text>
          TLA+ Toolbox provides a user interface for TLA+ Tools. 
 
-This is Version 1.3.1 of 24 January 2011 and includes:
+This is Version 1.3.1 of 5 April 2011 and includes:
   - SANY Version 2.1 of 10 February 2011
   - TLC Version 2.03 of 26 May 2010
-  - PlusCal Version 1.5 of 6 February 2011
+  - PlusCal Version 1.5 of 19 March 2011
   - TLATeX Version .9 of 19 September 2007
 
 Don&apos;t forget to click on help.  You can learn about features that you never knew about or have forgotten.

diff --git a/org.lamport.tla.toolbox/welcome/welcomeView.html b/org.lamport.tla.toolbox/welcome/welcomeView.html
@@ -26,7 +26,7 @@ <h1>
 <br></br>
 
 <hr><font style="font-family:consolas,monotype;font-size:80%">
-Version 1.3.1  of 24  January 2011
+Version 1.3.1  of 5 April 2011
 </font></hr>
 
 </body></html>