| Fri, 27 Jan 2017 22:27:03 +0100 | haftmann | ML antiquotation for generated computations | file | diff | annotate |
| Thu, 26 Jan 2017 16:06:19 +0100 | haftmann | tuned structure and terminology | file | diff | annotate |
| Thu, 26 May 2016 15:27:50 +0200 | haftmann | optional timing for code generator conversions | file | diff | annotate |
| Thu, 26 May 2016 15:27:50 +0200 | haftmann | clarified proof context vs. background theory | file | diff | annotate |
| Thu, 26 May 2016 15:27:50 +0200 | haftmann | clarified naming conventions and code for code evaluation sandwiches | file | diff | annotate |
| Mon, 18 Apr 2016 20:56:11 +0200 | haftmann | environment variable check has become pointless after 771b8ad5c7fc | file | diff | annotate |
| Wed, 13 Apr 2016 18:01:05 +0200 | wenzelm | eliminated "xname" and variants; | file | diff | annotate |