Tue, 31 Jan 2006 00:43:14 +0100 declare defn rules;
wenzelm [Tue, 31 Jan 2006 00:43:14 +0100] rev 18861
declare defn rules;
Tue, 31 Jan 2006 00:39:44 +0100 all styles now reset to defaults first, i.e. the document may switch styles back and forth;
wenzelm [Tue, 31 Jan 2006 00:39:44 +0100] rev 18860
all styles now reset to defaults first, i.e. the document may switch styles back and forth; added macro \isachardefaults for \chardef defaults; renamed \isakeywordcharunderscore to \isacharunderscorekeyword; added isabellestyle{default};
Tue, 31 Jan 2006 00:39:43 +0100 export meta_rewrite_rule;
wenzelm [Tue, 31 Jan 2006 00:39:43 +0100] rev 18859
export meta_rewrite_rule; tuned;
(0) -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip