| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: ocaml-xhtml | Distribution: Mageia |
| Version: 20050620 | Vendor: Mageia.Org |
| Release: 5.mga3 | Build date: Sun Jan 13 00:54:03 2013 |
| Group: Development/OCaml | Build host: ecosse.mageia.org |
| Size: 489444 | Source RPM: ocaml-xhtml-20050620-5.mga3.src.rpm |
| Packager: umeabot <umeabot> | |
| Url: http://theorie.physik.uni-wuerzburg.de/~ohl/xhtml/ | |
| Summary: OCaml module for creating valid XHTML 1.1 documents | |
XHTML is a OCaml module for creating valid XHTML 1.1 (and XHTML 1.0) documents. The validity of the pages is guaranteed by the OCaml type system. (NB: at the time of writing, forms support was not complete, only basic forms are implemented. Image maps are also not implemented yet.) XHTML can be used for creating static documents, but it is not the most conventient way to key in text heavy documents. Instead, it should be most useful for database frontends etc. XHTML is not a general XML processor that parses a DTD and checks the validity of a document with respect to this DTD. This lack in flexibility is made up for by the ability to perform prove validity by static type checking. The implementation uses a XML module for generating well formed---but not necessarily valid with respect to some DTD---XML documents. The elements of type XML.elt and attributes of type XML.attrib are then hidden behind polymorphic phantom types type 'a elt = XML.elt and type 'a attrib = XML.attrib with 'a set to appropriate polymorphic variants. This approach can be adopted easily to other XML document types: MathML and MusicML come to mind.
GPL
* Sun Jan 13 2013 umeabot <umeabot> 20050620-5.mga3 + Revision: 361704 - Mass Rebuild - https://wiki.mageia.org/en/Feature:Mageia3MassRebuild * Mon Oct 01 2012 blue_prawn <blue_prawn> 20050620-4.mga3 + Revision: 301102 - rebuild for ocaml-4.00.0 * Sun Sep 30 2012 blue_prawn <blue_prawn> 20050620-3.mga3 + Revision: 300835 - new rpm group for ocaml * Wed Apr 18 2012 blue_prawn <blue_prawn> 20050620-2.mga2 + Revision: 231391 - patch the example's Makefile for the installed lib * Wed Apr 18 2012 blue_prawn <blue_prawn> 20050620-1.mga2 + Revision: 231383 - imported package ocaml-xhtml
/usr/lib64/ocaml/xhtml /usr/lib64/ocaml/xhtml/META /usr/lib64/ocaml/xhtml/xHTML.cmi /usr/lib64/ocaml/xhtml/xML.cmi /usr/lib64/ocaml/xhtml/xhtml.cma /usr/share/doc/ocaml-xhtml /usr/share/doc/ocaml-xhtml/COPYING /usr/share/doc/ocaml-xhtml/ChangeLog /usr/share/doc/ocaml-xhtml/README
Generated by rpm2html 1.8.1
Fabrice Bellet, Wed May 22 07:16:53 2013