alpha152

SRI-CSL · Oct 2, 2023 · 15ca5b2 · 15ca5b2
1 parent ac09422
commit 15ca5b2
Show file tree

Hide file tree

Showing 79 changed files with 4,784 additions and 2,114 deletions.
diff --git a/ChangeLog b/ChangeLog
@@ -1,3 +1,9 @@
+2023-10-02  Steven Eker  <eker@pup>
+
+	* tests/ResolvedBugs/filteredVariantUnifyJune2023.maude: added
+
+==================================Maude152===========================================
+
 2023-05-12  Steven Eker  <eker@pup>
 
 	* tests/ObjectOriented/prngTest.maude: added

diff --git a/NEWS b/NEWS
@@ -1,3 +1,14 @@
+Overview of Changes in alpha152 (2023-10-02)
+============================================
+* more LaTeX support
+* fixed bug in the LaTeX printing of view instantiations
+* fixed bug in LaTeX printing of one strategy
+* fixed bug in LaTeX printing of srew/dsrew commands
+* fixed a termination bug in filtered variant unify
+* optimizations to semi-compilation of free theory equations
+* fixed compile time error for 32-bits targets
+* updated config.guess
+
 Overview of Changes in alpha151 (2023-08-11)
 ============================================
 * fmod INITIAL-EQUALITY-PREDICATE added to prelude