Stream: Beginner Questions

Topic: ✔ Isar re-use facts and`next`


view this post on Zulip Robert Soeldner (Sep 30 2022 at 17:50):

Thank you Wolfgang.

view this post on Zulip Notification Bot (Sep 30 2022 at 17:50):

Robert Soeldner has marked this topic as resolved.


Last updated: Apr 25 2024 at 16:19 UTC