Code supporting parsing and output of XML in ProofPower
Overview
This document includes standard ML code supporting the use of the fxp XML parser in ProofPower.
First a ".cm" file is prepared showing which files are to be included.
Introduction
Loading the Parser
First a ".cm" file is prepared showing which files are to be included.
cm file for xmlparse

xl-sml-cm
Group is
fxlib.cm


xl-sml
CM.make' "xmlparse.cm";


up quick index © RBJ

$Id