[Ur] typo

Adam Megacz megacz at cs.berkeley.edu
Sat Dec 20 17:42:57 EST 2008


In the Ur manual, section 6.2, second sentence: "reduce" should be
"reduced".

  - a



More information about the Ur mailing list