| 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
|
| Sat, 05 Jan 2019 17:24:33 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Wed, 26 Dec 2018 16:25:20 +0100 |
wenzelm |
isabelle update_cartouches -t;
|
file |
diff |
annotate
|
| Fri, 07 Dec 2018 21:42:08 +0100 |
wenzelm |
clarified session dependencies: faster build_doc/build_release;
|
file |
diff |
annotate
|
| Fri, 22 Jun 2018 20:31:49 +0200 |
wenzelm |
clarified document antiquotation @{theory};
|
file |
diff |
annotate
|
| Fri, 18 Aug 2017 20:47:47 +0200 |
wenzelm |
session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
|
file |
diff |
annotate
|
| Wed, 31 May 2017 11:43:37 +0200 |
wenzelm |
more robust -- avoid race condition wrt. Haskell output in $ISABELLE_TMP/examples/
|
file |
diff |
annotate
|
| Tue, 01 Sep 2015 22:32:58 +0200 |
wenzelm |
eliminated \<Colon>;
|
file |
diff |
annotate
|
| Thu, 15 Jan 2015 13:39:41 +0100 |
haftmann |
separate image for prerequisites of codegen tutorial
|
file |
diff |
annotate
|
| Thu, 15 Jan 2015 13:39:41 +0100 |
haftmann |
modernized cartouches
|
file |
diff |
annotate
|
| Sat, 10 Jan 2015 10:24:30 +0100 |
haftmann |
avoid writing into source
|
file |
diff |
annotate
|
| Tue, 07 Oct 2014 22:35:11 +0200 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
| Thu, 11 Sep 2014 19:32:36 +0200 |
blanchet |
updated news
|
file |
diff |
annotate
|
| Thu, 11 Sep 2014 18:54:36 +0200 |
blanchet |
renamed 'datatype' to 'old_datatype'; 'datatype' is now alias for 'datatype_new'
|
file |
diff |
annotate
|
| Tue, 28 Aug 2012 18:57:32 +0200 |
wenzelm |
renamed doc-src to src/Doc;
|
file |
diff |
annotate
| base
|