From: Adam Chlipala Date: Thu, 21 Dec 2006 23:39:14 +0000 (+0000) Subject: Start of DBMS support X-Git-Tag: release_2010-11-19~283 X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/d541c6185fb0f426dce0b16e85327b53635169e0?hp=d541c6185fb0f426dce0b16e85327b53635169e0 Start of DBMS support ---