[isabelle-dev] NEWS: print_record

[Gerwin Klein]

Small addition:

* New diagnostic command print_record for displaying record definitions.

This refers to Isabelle/13f0fa687aa7. It is esp useful when records are defined programmatically and don’t have a textual definition that could be inspected with Command-Click.

Cheers,
Gerwin


________________________________

The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.