Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Cl-isabelle-users Digest, Vol 113, Issue 26

Email Gateway (Aug 19 2022 at 16:30):

From: mahmoud abdelazim <m.abdelazim@icloud.com>
Hi peter . i did as you said but i don’t know exactly how to find the definition of fun_upd because Ctrl + Click on fun_upd it give me only a menu

Email Gateway (Aug 19 2022 at 16:31):

From: Florian Haftmann <florian.haftmann@informatik.tu-muenchen.de>
Hi Mahmoud,

just as a general rule, not that you should refrain from re-forwarding
any kind of digest messages to the mailing lists. This produces too
much clutter.

Cheers,
Florian
signature.asc

Last updated: Apr 26 2024 at 08:19 UTC