| Wed, 23 Sep 2009 14:00:12 +0200 | haftmann | Code_Eval(uation) | file | diff | annotate |
| Tue, 02 Jun 2009 15:53:05 +0200 | haftmann | OCaml builtin intergers are elusive; avoid | file | diff | annotate |
| Tue, 19 May 2009 16:54:55 +0200 | haftmann | String.literal replaces message_string, code_numeral replaces (code_)index | file | diff | annotate |
| Tue, 19 May 2009 13:57:32 +0200 | haftmann | moved Code_Index, Random and Quickcheck before Main | file | diff | annotate |
| Mon, 18 May 2009 15:45:34 +0200 | haftmann | added Code_Index.int_of operation | file | diff | annotate |
| Mon, 23 Mar 2009 08:14:24 +0100 | haftmann | Main is (Complex_Main) base entry point in library theories | file | diff | annotate |
| Mon, 16 Feb 2009 19:11:15 +0100 | haftmann | added pdivmod on int (for code generation) | file | diff | annotate |