Closed Bug 760707 Opened 8 years ago Closed 8 years ago
Operator Dictionary .pl to download and convert the W3C dictionary
I open this bug just to add new commands to layout/mathml/updateOperatorDictionary.pl "./updateOperatorDictionary.pl download" will download the file unicode.xml from "XML Entity Definitions for Characters" and convert it to the simple dictionary.xml file. "./updateOperatorDictionary.pl clean" will allow to clean up temporary files. To do the XSLT conversion, I've used the XML::LibXSLT module which seems much more efficient than XML::XSLT. So I've also replaced XML::DOM by XML::LibXML.
Attachment #629366 - Flags: review?(karlt) → review+
Target Milestone: --- → mozilla16
Status: ASSIGNED → RESOLVED
Closed: 8 years ago
Resolution: --- → FIXED
You need to log in before you can comment on or make changes to this bug.