Commit 2257cb53 authored by gerd's avatar gerd

Implemented rev. 1.16 of pxp_document.mli.


git-svn-id: https://godirepo.camlcity.org/svn/lib-pxp/trunk@359 dbe99aee-44db-0310-b2b3-d33182c8eb97
parent 0eb4e0e7
This diff is collapsed.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment