Globals.max_print_depth
On Mon, Jun 24, 2013 at 10:03 AM, Ramana Kumar <[email protected]>wrote:
> Is there a notion of print depth for the HOL printer, to avoid printing
> very large terms in full? (Using PolyML.print_depth doesn't seem to do the
> right thing.)
>
>
> ------------------------------------------------------------------------------
> This SF.net email is sponsored by Windows:
>
> Build for Windows Store.
>
> http://p.sf.net/sfu/windows-dev2dev
> _______________________________________________
> hol-info mailing list
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/hol-info
>
>
------------------------------------------------------------------------------
This SF.net email is sponsored by Windows:
Build for Windows Store.
http://p.sf.net/sfu/windows-dev2dev
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
