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 |