Subversion Repositories wimsdev

!distribute items >,,< into v_context,v_equivalence,v_goal

!for tt in context,equivalence,goal

 !reset $tt

 t=!translate internal $	$ to $\

$ in $(m_$tt)

 t=!nonempty lines $t

 n=!linecnt $t

 !for i=1 to $n

  l=!line $i of $t

  $tt=!append line $(v_$tt) $l to $($tt)

 !next i

!next tt

!if fixedgoal iswordof $m_options

 goal=

!endif

objects=!nonempty lines $context\

$equivalence\

$goal