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: May 19 2024 at 04:18 UTC