W3C Editors homepage
WebIDL spec
WebIDL checker
Source document:
Ouput format:
HTML
Text (GNU Error format)
script $Revision: 1.50 $ of $Date: 2009/10/28 13:16:47 $
by
Dominique Hazaƫl-Massieux
the heavy work is done by
widlproc
.