Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] AFP now shows who uses your entry

Email Gateway (Aug 22 2022 at 13:30):

From: Gerwin Klein <Gerwin.Klein@nicta.com.au>
AFP entries now have used-by fields, so you can see which other entries use your development.

A nice example is http://www.isa-afp.org/entries/Regular-Sets.shtml

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.

Last updated: Apr 19 2024 at 12:27 UTC