Andre Poenitz wrote:
If people really want me to change all of these, I'll do so. But this
was modeled on the existing Layout_ptr.
I guess I'll just rename Layout_ptr into LayoutPtr to avoid this in the
furture.
I'll change TextClass_ptr to TextClassPtr later. I don't want to do it
now as it will involve patching the trunk, merging back into branch,
etc, which is a pain. It'll be easier later.
Richard
--
==================================================================
Richard G Heck, Jr
Professor of Philosophy
Brown University
http://frege.brown.edu/heck/
==================================================================
Get my public key from http://sks.keyserver.penguin.de
Hash: 0x1DE91F1E66FFBDEC
Learn how to sign your email using Thunderbird and GnuPG at:
http://dudu.dyn.2-h.org/nist/gpg-enigmail-howto
