| Wed, 13 Sep 2023 17:08:55 +0000 |
haftmann |
some hints on managed installations
|
file |
diff |
annotate
|
| Sun, 15 Jan 2023 18:30:18 +0100 |
wenzelm |
isabelle update -u cite;
|
file |
diff |
annotate
|
| Sat, 12 Feb 2022 07:52:34 +0100 |
haftmann |
updated documentation to current matter of affairs
|
file |
diff |
annotate
|
| Mon, 01 Apr 2019 21:58:45 +0200 |
wenzelm |
'code_reflect' only supports new-style 'file_prefix';
|
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
|
| 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
|
| Thu, 14 Dec 2017 18:42:39 +0100 |
haftmann |
dedicated case option for code generation to Scala
|
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
|
| Sun, 02 Jul 2017 20:13:38 +0200 |
haftmann |
proper concept of code declaration wrt. atomicity and Isar declarations
|
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
|