aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/xml
ModeNameSize
-rw-r--r--COPYRIGHT1336logplain
-rw-r--r--README11456logplain
-rw-r--r--acic.ml4962logplain
-rw-r--r--acic2Xml.ml414583logplain
-rw-r--r--cic.dtd7456logplain
-rw-r--r--cic2Xml.ml618logplain
-rw-r--r--cic2acic.ml37706logplain
-rw-r--r--doubleTypeInference.ml10779logplain
-rw-r--r--doubleTypeInference.mli1291logplain
-rw-r--r--theoryobject.dtd2822logplain
-rw-r--r--unshare.ml2098logplain
-rw-r--r--unshare.mli1371logplain
-rw-r--r--xml.ml43181logplain
-rw-r--r--xml.mli2264logplain
-rw-r--r--xml_plugin.mllib100logplain
-rw-r--r--xmlcommand.ml19448logplain
-rw-r--r--xmlcommand.mli1881logplain
-rw-r--r--xmlentries.ml41366logplain