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. _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
