| Sun, 10 Mar 2019 15:16:45 +0000 | haftmann | migrated from Nums to Zarith as library for OCaml integer arithmetic | file | diff | annotate |
| Sat, 02 Feb 2019 15:52:14 +0100 | wenzelm | clarified signature: Path.T as in Generated_Files; | file | diff | annotate |
| Sun, 20 Jan 2019 17:15:47 +0000 | haftmann | more conventional parsing of code_stmts antiquotation | file | diff | annotate |
| Sun, 20 Jan 2019 17:14:35 +0000 | haftmann | more conventional syntax for code_stmts antiquotation | 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 |
| Mon, 14 Jan 2019 13:58:12 +0100 | wenzelm | clarified message; | file | diff | annotate |
| Sun, 13 Jan 2019 20:25:41 +0100 | wenzelm | information with hyperlink to "isabelle-export:"; | file | diff | annotate |
| Sun, 13 Jan 2019 19:03:16 +0100 | wenzelm | regular export with implicit compression: result is uncompressed; | file | diff | annotate |