Stream: Beginner Questions

Topic: ✔ Have isabelle code in monospace font in pdf output

waynee95 (Nov 07 2022 at 10:16):

It's working now.

Notification Bot (Nov 07 2022 at 10:16):

waynee95 has marked this topic as resolved.

Last updated: Dec 21 2024 at 16:20 UTC