| Wed, 22 Oct 2008 14:15:45 +0200 | haftmann | code identifier namings are no longer imperative | file | diff | annotate |
| Fri, 10 Oct 2008 06:45:53 +0200 | haftmann | `code func` now just `code` | file | diff | annotate |
| Tue, 23 Sep 2008 18:11:42 +0200 | haftmann | renamed rtype to typerep | file | diff | annotate |
| Tue, 16 Sep 2008 16:13:09 +0200 | haftmann | a sophisticated char/nibble conversion combinator | file | diff | annotate |
| Tue, 16 Sep 2008 09:21:24 +0200 | haftmann | evaluation using code generator | file | diff | annotate |
| Fri, 28 Mar 2008 22:01:03 +0100 | haftmann | dropped now superfluous ad-hoc adaption | file | diff | annotate |
| Thu, 27 Mar 2008 19:04:40 +0100 | haftmann | circumventing merge problem | file | diff | annotate |
| Thu, 31 Jan 2008 11:47:12 +0100 | haftmann | temporary adjustions | file | diff | annotate |
| Fri, 25 Jan 2008 14:53:56 +0100 | haftmann | distinguished examples for Efficient_Nat.thy | file | diff | annotate |
| Mon, 21 Jan 2008 08:43:33 +0100 | haftmann | proper meaningful examples | file | diff | annotate |
| Thu, 13 Dec 2007 07:09:04 +0100 | haftmann | added div/mod examples | file | diff | annotate |
| Thu, 06 Sep 2007 11:32:28 +0200 | berghofe | Integrated Executable_Rat and Executable_Real theories into | file | diff | annotate |
| Mon, 20 Aug 2007 18:07:49 +0200 | haftmann | renamed code_gen to export_code | file | diff | annotate |
| Mon, 13 Aug 2007 21:22:37 +0200 | haftmann | renamed keyword "to" to "module_name" | file | diff | annotate |
| Thu, 09 Aug 2007 15:52:45 +0200 | haftmann | tuned | file | diff | annotate |