Mon, 07 Dec 2009 16:27:48 +0100 | haftmann | split off evaluation mechanisms in separte module Code_Eval | file | diff | annotate |
Thu, 12 Nov 2009 15:48:44 +0100 | haftmann | repaired broken code_const for term_of [String.literal] | file | diff | annotate |
Tue, 10 Nov 2009 16:04:57 +0100 | wenzelm | modernized structure Theory_Target; | file | diff | annotate |
Fri, 06 Nov 2009 08:11:58 +0100 | bulwahn | adding tracing function for evaluated code; annotated compilation in the predicate compiler | file | diff | annotate |
Tue, 29 Sep 2009 16:24:36 +0200 | wenzelm | explicit indication of Unsynchronized.ref; | file | diff | annotate |
Wed, 23 Sep 2009 14:00:12 +0200 | haftmann | Code_Eval(uation) | file | diff | annotate | base |