innermost-tagged uses annotations to tag terms that are in normal form.
innermost-tagged uses annotations to tag terms that are in normal form.

svn path=/trunk/StrategoXT/; revision=1216

Apanatshka/strategoxt,Apanatshka/strategoxt,metaborg/strategoxt,metaborg/strategoxt,lichtemo/strategoxt,Apanatshka/strategoxt,metaborg/strategoxt,metaborg/strategoxt,Apanatshka/strategoxt,Apanatshka/strategoxt,lichtemo/strategoxt,lichtemo/strategoxt,lichtemo/strategoxt,lichtemo/strategoxt,metaborg/strategoxt