; ; $Id$ ; ; Copyright (c) 1999-2002, RIACA, Technische Universiteit Eindhoven (TU/e). ; All Rights Reserved. ; CHANGES ------- Changes between 1.3.2 and 1.3.1 * Added ADDCD and REMOVECD method to phrasebook. Changes between 1.3.1 and older releases * Added a bunch of XML files for testing encoding. * Patched numerous Codecs to work with the 1.3.1 release of the OpenMath library. * Added a supported.html file that states what Content Dictionaries and Symbols therein are supported.