Re: [isabelle] parse and print translations



On Tue, 18 May 2010, Christian Sternagel wrote:

how do I remove print rules that have been added via Sign.add_advanced_trfuns?

These are called "translation function" and cannot be removed. For printing several such functions can be declared, and the first match is applied. Thus you can override certain existing translation functions.

For actual translation rules, which are introduced via the 'translations' command, there is an explicit 'no_translations' counterpart.


	Makarius





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.