Re: [help-GIFT] Re: Region query for MRML/GIFT

[Pruet Boonma]

Hi,

I'm so sorry. But I strongly believe that my patch is incorrect, it will
prevent gift from compiling.

This is the patch against the current CVS (31 March, 8:30 GMT)
http://lulu.mptc.eng.cmu.ac.th:8080/pruet/docs/thesis/mrml_dtd.diff

This is the full corrected DTD.
http://lulu.mptc.eng.cmu.ac.th:8080/pruet/docs/thesis/mrml.dtd

Sorry again.

Cheers,
Pruet


On Sat, Mar 30, 2002 at 09:33:42PM +0100, Wolfgang M?ller wrote:
> Patch applied.
> Cheers,
> Wolfgang
> 
> _______________________________________________
> help-GIFT mailing list
> address@hidden
> http://mail.gnu.org/mailman/listinfo/help-gift