- our \wss{} we have chosen to bind them using the HTTP/POST bindings
- described in \cite{wsdlbindings}\footnote{Given that our proof assistant was
- entirely developed in the Objective Caml language, we have chosen to
- develop also \hbugs{} in that language in order to maximize code reuse. To
- develop \wss{} in Objective Caml we have developed an auxiliary generic
- library (\emph{O'HTTP}) that can be used to write HTTP 1.1 Web servers and
- abstract over GET/POST parsing. This library supports different kinds of Web
- servers architecture, including multi-process and multi-threaded ones.}.
+ our \wss{} we have chosen to bind them using the HTTP/POST\footnote{Given
+ that our proof assistant was entirely developed in the Objective Caml
+ language, we have chosen to develop also \hbugs{} in that language in order
+ to maximize code reuse. To develop \wss{} in Objective Caml we have
+ developed an auxiliary generic library (\emph{O'HTTP}) that can be used to
+ write HTTP 1.1 Web servers and abstract over GET/POST parsing. This library
+ supports different kinds of Web servers architecture, including
+ multi-process and multi-threaded ones.} bindings described in
+ \cite{wsdlbindings}.