[r2005-03-05 00:33:08 by afrisch] Typo

Original author: afrisch Date: 2005-03-05 00:33:08+00:00

[r2005-03-05 00:33:08 by afrisch] Typo
Original author: afrisch Date: 2005-03-05 00:33:08+00:00
974d85c6 · Pietro Abate · de2b9f9d · 974d85c6
Commit 974d85c6 authored Oct 05, 2007 by Pietro Abate
--- a/CHANGES
+++ b/CHANGES
@@ -21,7 +21,7 @@ Since 0.2.2
   * float_of: String -> Float

 - Tools:
-   * A new tool cduce_mktop produce customized CDuce toplevels with embedded 
+   * A new tool cduce_mktop produces customized CDuce toplevels with embedded 
     OCaml externals.
   * Removed the validate tool.