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
|