update HISTORY for v7.0

rfindler · rfindler · commit b83be5d6eff7 · 2018-06-24T19:44:01.000-10:00
diff --git a/redex-lib/redex/HISTORY.txt b/redex-lib/redex/HISTORY.txt
@@ -1,3 +1,7 @@
+v7.0
+
+  * various bug fixes
+
 v6.12
 
   * typeset prime characters better, e.g. when writing e_′,

-Original file line number
+Diff line change
@@ @@ -1,3 +1,7 @@ @@
 +v7.0
++
 +  * various bug fixes
++
 v6.12
   * typeset prime characters better, e.g. when writing e_′,