Adding news of latest 2.6 release

SMT-LIB · Sep 25, 2024 · d0b8f10 · d0b8f10
1 parent db3bbef
commit d0b8f10
Show file tree

Hide file tree

Showing 6 changed files with 64 additions and 50 deletions.
diff --git a/about.shtml b/about.shtml
@@ -104,30 +104,30 @@ Released for free under a Creative Commons Attribution 3.0 License
  <div class="fbg_resize">
   <div class="col c1">
     <h3>Latest News</h3>
-       <small>April 2, 2024</small>
+       <small>September 20, 2024</small>
        <p>
-        Starting today, the benchmark library will no longer be publicly available from the University of Iowa's GitLab server.
-        Official yearly releases of the library will be available
-        <a href="https://zenodo.org/communities/smt-lib">Zenodo</a>.
+         A new release of the the SMT-LIB 2.6 reference document
+        is now available. This is a minor release.  The main changes
+        concern the verbosity of the output.
        </p>
   </div>
   <div class="col c2">
    <h3>Previous News</h3>
-       <small>Feb 13, 2024</small>
+       <small>April 2, 2024</small>
        <p>
-        The latest release (2023) of the SMT-LIB benchmark library is now
-        available on <a href="https://zenodo.org/communities/smt-lib">Zenodo</a> in the form of compressed archives.
+        Starting today, the benchmark library will no longer be publicly available from the University of Iowa's GitLab server.
+        Official yearly releases of the library will be available
+        <a href="https://zenodo.org/communities/smt-lib">Zenodo</a>.
        </p>
   </div>
   <div class="col c3">
    <h3>Older News</h3>
-       <small>May 12, 2021</small>
+       <small>Feb 13, 2024</small>
        <p>
-        A new release of the the SMT-LIB 2.6 reference document
-        is now available. This is a minor release addressing a
-        minor error in the 2021-04-02 release.
+        The latest release (2023) of the SMT-LIB benchmark library is now
+        available on <a href="https://zenodo.org/communities/smt-lib">Zenodo</a> in the form of compressed archives.
        </p>
-    <a href="news.shtml#2021-04-02">[More]</a>
+    <a href="news.shtml#2021-05-12">[More]</a>
    </p>
   </div>
  </div>

diff --git a/benchmarks.shtml b/benchmarks.shtml
@@ -103,30 +103,30 @@ Released for free under a Creative Commons Attribution 3.0 License
  <div class="fbg_resize">
   <div class="col c1">
     <h3>Latest News</h3>
-       <small>April 2, 2024</small>
+       <small>September 20, 2024</small>
        <p>
-        Starting today, the benchmark library will no longer be publicly available from the University of Iowa's GitLab server.
-        Official yearly releases of the library will be available
-        <a href="https://zenodo.org/communities/smt-lib">Zenodo</a>.
+         A new release of the the SMT-LIB 2.6 reference document
+        is now available. This is a minor release.  The main changes
+        concern the verbosity of the output.
        </p>
   </div>
   <div class="col c2">
    <h3>Previous News</h3>
-       <small>Feb 13, 2024</small>
+       <small>April 2, 2024</small>
        <p>
-        The latest release (2023) of the SMT-LIB benchmark library is now
-        available on <a href="https://zenodo.org/communities/smt-lib">Zenodo</a> in the form of compressed archives.
+        Starting today, the benchmark library will no longer be publicly available from the University of Iowa's GitLab server.
+        Official yearly releases of the library will be available
+        <a href="https://zenodo.org/communities/smt-lib">Zenodo</a>.
        </p>
   </div>
   <div class="col c3">
    <h3>Older News</h3>
-       <small>May 12, 2021</small>
+       <small>Feb 13, 2024</small>
        <p>
-        A new release of the the SMT-LIB 2.6 reference document
-        is now available. This is a minor release addressing a
-        minor error in the 2021-04-02 release.
+        The latest release (2023) of the SMT-LIB benchmark library is now
+        available on <a href="https://zenodo.org/communities/smt-lib">Zenodo</a> in the form of compressed archives.
        </p>
-    <a href="news.shtml#2021-04-02">[More]</a>
+    <a href="news.shtml#2021-05-12">[More]</a>
    </p>
   </div>
  </div>

diff --git a/index.shtml b/index.shtml
@@ -110,30 +110,30 @@
  <div class="fbg_resize">
   <div class="col c1">
     <h3>Latest News</h3>
-       <small>April 2, 2024</small>
+       <small>September 20, 2024</small>
        <p>
-        Starting today, the benchmark library will no longer be publicly available from the University of Iowa's GitLab server.
-        Official yearly releases of the library will be available
-        <a href="https://zenodo.org/communities/smt-lib">Zenodo</a>.
+         A new release of the the SMT-LIB 2.6 reference document
+        is now available. This is a minor release.  The main changes
+        concern the verbosity of the output.
        </p>
   </div>
   <div class="col c2">
    <h3>Previous News</h3>
-       <small>Feb 13, 2024</small>
+       <small>April 2, 2024</small>
        <p>
-        The latest release (2023) of the SMT-LIB benchmark library is now
-        available on <a href="https://zenodo.org/communities/smt-lib">Zenodo</a> in the form of compressed archives.
+        Starting today, the benchmark library will no longer be publicly available from the University of Iowa's GitLab server.
+        Official yearly releases of the library will be available
+        <a href="https://zenodo.org/communities/smt-lib">Zenodo</a>.
        </p>
   </div>
   <div class="col c3">
    <h3>Older News</h3>
-       <small>May 12, 2021</small>
+       <small>Feb 13, 2024</small>
        <p>
-        A new release of the the SMT-LIB 2.6 reference document
-        is now available. This is a minor release addressing a
-        minor error in the 2021-04-02 release.
+        The latest release (2023) of the SMT-LIB benchmark library is now
+        available on <a href="https://zenodo.org/communities/smt-lib">Zenodo</a> in the form of compressed archives.
        </p>
-    <a href="news.shtml#2021-04-02">[More]</a>
+    <a href="news.shtml#2021-05-12">[More]</a>
    </p>
   </div>
  </div>

diff --git a/news.shtml b/news.shtml
@@ -48,10 +48,17 @@
       <div class="article">
        <h2>News</h2>
        <!------------------------------------------------------------------------>
+       <a name="2024-09-20"></a>
+       <small>September 20, 2024</small>
+       <p>
+         A new release of the the SMT-LIB 2.6 reference document
+        is now available. This is a minor release.  The main changes
+        concern the verbosity of the output.
+       </p>
        <a name="2024-04-02"></a>
        <small>April 2, 2024</small>
        <p>
-        From today on the benchmark library will no longer be publicly available from the University of Iowa's GitLab server.
+        Starting today, the benchmark library will no longer be publicly available from the University of Iowa's GitLab server.
         Official yearly releases of the library will be available
         <a href="https://zenodo.org/communities/smt-lib">Zenodo</a>.
        </p>

diff --git a/virtual/bottom.shtml b/virtual/bottom.shtml
@@ -3,30 +3,30 @@
  <div class="fbg_resize">
   <div class="col c1">
     <h3>Latest News</h3>
-       <small>April 2, 2024</small>
+       <small>September 20, 2024</small>
        <p>
-        Starting today, the benchmark library will no longer be publicly available from the University of Iowa's GitLab server.
-        Official yearly releases of the library will be available
-        <a href="https://zenodo.org/communities/smt-lib">Zenodo</a>.
+         A new release of the the SMT-LIB 2.6 reference document
+        is now available. This is a minor release.  The main changes
+        concern the verbosity of the output.
        </p>
   </div>
   <div class="col c2">
    <h3>Previous News</h3>
-       <small>Feb 13, 2024</small>
+       <small>April 2, 2024</small>
        <p>
-        The latest release (2023) of the SMT-LIB benchmark library is now
-        available on <a href="https://zenodo.org/communities/smt-lib">Zenodo</a> in the form of compressed archives.
+        Starting today, the benchmark library will no longer be publicly available from the University of Iowa's GitLab server.
+        Official yearly releases of the library will be available
+        <a href="https://zenodo.org/communities/smt-lib">Zenodo</a>.
        </p>
   </div>
   <div class="col c3">
    <h3>Older News</h3>
-       <small>May 12, 2021</small>
+       <small>Feb 13, 2024</small>
        <p>
-        A new release of the the SMT-LIB 2.6 reference document
-        is now available. This is a minor release addressing a
-        minor error in the 2021-04-02 release.
+        The latest release (2023) of the SMT-LIB benchmark library is now
+        available on <a href="https://zenodo.org/communities/smt-lib">Zenodo</a> in the form of compressed archives.
        </p>
-    <a href="news.shtml#2021-04-02">[More]</a>
+    <a href="news.shtml#2021-05-12">[More]</a>
    </p>
   </div>
  </div>

diff --git a/virtual/news.shtml b/virtual/news.shtml
@@ -25,10 +25,17 @@
       <div class="article">
        <h2>News</h2>
        <!------------------------------------------------------------------------>
+       <a name="2024-09-20"></a>
+       <small>September 20, 2024</small>
+       <p>
+         A new release of the the SMT-LIB 2.6 reference document
+        is now available. This is a minor release.  The main changes
+        concern the verbosity of the output.
+       </p>
        <a name="2024-04-02"></a>
        <small>April 2, 2024</small>
        <p>
-        From today on the benchmark library will no longer be publicly available from the University of Iowa's GitLab server.
+        Starting today, the benchmark library will no longer be publicly available from the University of Iowa's GitLab server.
         Official yearly releases of the library will be available
         <a href="https://zenodo.org/communities/smt-lib">Zenodo</a>.
        </p>