Tue, 31 Jan 2006 16:26:18 +0100 | haftmann | added serialization for arbitrary | changeset | files |
Tue, 31 Jan 2006 16:15:51 +0100 | haftmann | minor change to CodegenPackage interface | changeset | files |
Tue, 31 Jan 2006 16:14:37 +0100 | haftmann | minor cleanups | changeset | files |
Tue, 31 Jan 2006 16:12:56 +0100 | haftmann | more coherent lookup extraction functions | changeset | files |
Tue, 31 Jan 2006 10:39:13 +0100 | paulson | reorganization of code to support DFG otuput | changeset | files |
Tue, 31 Jan 2006 00:51:15 +0100 | wenzelm | * Pure: 'advanced' translation functions use Context.generic instead of just theory; | changeset | files |
Tue, 31 Jan 2006 00:43:14 +0100 | wenzelm | declare defn rules; | changeset | files |