Hi all,
I suspect there's a nice way to get the munger to print datatypes in the
syntax accepted by the new Datatype command (i.e. without all the "of"s,
and perhaps with better line-breaking), but I can't figure it out right
now. Does anyone know?
Ideally I'm looking for instructions for how to print a pretty datatype
definition using the EmitTeX munger (or a pointer to said instructions).
Cheers,
Ramana
------------------------------------------------------------------------------
Time is money. Stop wasting it! Get your web API in 5 minutes.
www.restlet.com/download
http://p.sf.net/sfu/restlet
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
