Stream: Beginner Questions

Topic: rendered version of html documentation

Tobias Heindel (Heliax GmbH) (May 14 2024 at 10:00):

Is there a way to have a rendered version of the library doc files, e.g., https://isabelle.in.tum.de/library/Doc/Tutorial/Typedefs.html ? Or where is it?

Fabian Huch (May 14 2024 at 10:03):

Either in jEdit under the "Documentation" Panel or on the doc site.

Last updated: Dec 21 2024 at 16:20 UTC