[r2003-01-30 15:36:24 by cvscast] Empty log message

Original author: cvscast
Date: 2003-01-30 15:36:24+00:00

tests/memento.xml

@@ -23,7 +23,7 @@ which includes a few built-in examples.
      <li>Values: <duce>0,1,2,3,...</duce> </li>
      <li>Types: intervals <duce>-*--10, 20--30, 50--*, ...</duce>,
 		singletons <duce>0,1,2,3,...</duce> </li>
-     <li>Operators: <duce>+,-,/,*, int_of</duce> </li>
+     <li>Operators: <duce>+,-,/,*,div,mod, int_of</duce> </li>
    </ul>
  </li>
  <li>Unicode characters:
@@ -47,7 +47,7 @@ which includes a few built-in examples.
 <ul>
    <li>Infix:
      <br/> <duce>@</duce> : String,String -> String
-     <br/> <duce>+,*,-,div</duce> : Integer,Integer -> Integer
+     <br/> <duce>+,*,-,div,mod</duce> : Integer,Integer -> Integer
    </li>
    <li>Prefix:
         <br/><duce>load_xml,load_html, dump_to_file</duce> : String -> Any