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: Feb 01 2025 at 20:19 UTC