HTML markup supported.
authorrich <rich>
Thu, 16 Sep 2004 18:06:31 +0000 (18:06 +0000)
committerrich <rich>
Thu, 16 Sep 2004 18:06:31 +0000 (18:06 +0000)
commitfcabae4a1578d69fb7d6a508a89dff13b0053ddb
treea0fc2ce04ea1af4288d962358ff2ffcadd5f971f
parentbe8cb1f7d3431c4a63bbd478b79c12e244111d98
HTML markup supported.

Includes a very hairy and somewhat strict HTML validator.

(May look like a single file change, but it took me all afternoon
to write it ...)
scripts/wikilib.ml