]> matita.cs.unibo.it Git - helm.git/commit
A lot of changes to support the new UWOBO stylesheet processor:
authorLuca Padovani <luca.padovani@unito.it>
Thu, 8 Feb 2001 11:06:19 +0000 (11:06 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Thu, 8 Feb 2001 11:06:19 +0000 (11:06 +0000)
commit952ad2bf8ea4bea5999570f0f592f84bf30acd3f
tree14e48bcebad863e90f60d320c9ff0f14f617dc84
parent42fe83d4b539b28d933cb6c81895afd810c2f316
A lot of changes to support the new UWOBO stylesheet processor:

Modified Files:

Makefile.in : of course, some new source files
configuration.ml.in : better support for configuration variables and overriding
getter.ml : now it is just a wrapper for clientHTTP, still needs some serious
rearrangement
getter.mli : the interface changed a little bit
mmlinterface.ml : call for the initialization of the processor
pxpUriResolver.ml : the resolver is now more reliable
styleConfiguration.ml : retrieve and parse stylesheet configuration
xsltProcessor.ml : it is now a simple wrapper for xsltProcessorHTTP

Added Files:
clientHTTP.ml : a simple client HTTP (a minimal wrapper for netclient)
xsltProcessorHTTP.ml : send HTTP requests to the processor
xsltProcessorUDP.ml : just in case we want to implement both
methods for invoking the processor
helm/interface/Makefile.in
helm/interface/clientHTTP.ml [new file with mode: 0644]
helm/interface/configuration.ml.in
helm/interface/getter.ml
helm/interface/getter.mli
helm/interface/mmlinterface.ml
helm/interface/pxpUriResolver.ml
helm/interface/styleConfiguration.ml
helm/interface/xsltProcessor.ml
helm/interface/xsltProcessorHTTP.ml [new file with mode: 0644]
helm/interface/xsltProcessorUDP.ml [new file with mode: 0644]