]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/profile-manager/response.ml
unreleased version of the bindings, with more gtkmathview method bounds and dependenc...
[helm.git] / helm / DEVEL / profile-manager / response.ml
1
2 let quote_attribute s = s
3
4 let quote s = s
5
6 let error s = "<error>" ^ (quote s) ^ "</error>"
7
8 let ok () = "<ok/>"