Sun, 15 Jan 2023 18:30:18 +0100 | wenzelm | isabelle update -u cite; | file | diff | annotate |
Fri, 16 Dec 2022 18:11:03 +0100 | nipkow | Added section about code generation for partial functions | file | diff | annotate |
Mon, 05 Oct 2020 21:15:58 +0200 | wenzelm | clarified signature; | file | diff | annotate |
Fri, 29 Mar 2019 13:42:17 +0100 | wenzelm | clarified 'file_prefix'; | file | diff | annotate |
Thu, 28 Mar 2019 21:24:55 +0100 | wenzelm | "export_code ... file_prefix ..." is the preferred way to produce output within the logical file-system within the theory context, as well as session exports; | file | diff | annotate |
Mon, 14 Jan 2019 18:33:53 +0000 | haftmann | canonical operation to typeset generated code makes dedicated environment obsolete | file | diff | annotate |
Sun, 06 Jan 2019 15:04:34 +0100 | wenzelm | isabelle update -u path_cartouches; | file | diff | annotate |