Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Eisbach User Manual


view this post on Zulip Email Gateway (Aug 22 2022 at 09:55):

From: Daniel Matichuk <Daniel.Matichuk@nicta.com.au>
Thanks for that, Lars.

The inconsistent bolding is actually a due to conflation of outer vs. inner syntax in the match method parser, and
is somewhat non-trivial to fix. Various hacks could be done to work around this, but it’s fairly low priority.

-Dan


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.


Last updated: Apr 26 2024 at 01:06 UTC