"Boris 'pi' Piwinger" <3.14 at logic.univie.ac.at> wrote: >I'll attach my new version. > >I still need input for the following: Still hoping:-)) One more idea. Would it be possible to have something like: <ifalogithm graham> [...] </ifalogrithm> One place this could be used are different default values. pi