CHANGES ------- Changes between 1.3.5 and 1.3.2 * Added descriptions to targets (#1). * Removed unnecessary CVS headers from CHANGES, INSTALL, LICENSE, README (#3). 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.