| 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 |
| Tue, 31 Jan 2006 00:39:44 +0100 | wenzelm | all styles now reset to defaults first, i.e. the document may switch styles back and forth; | changeset | files |
| Tue, 31 Jan 2006 00:39:43 +0100 | wenzelm | export meta_rewrite_rule; | changeset | files |
| Tue, 31 Jan 2006 00:39:43 +0100 | wenzelm | advanced translations: Context.generic; | changeset | files |