Ta.
On Mon, Jun 24, 2013 at 4:27 PM, Konrad Slind <[email protected]>wrote:
> 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
>
>
------------------------------------------------------------------------------
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
