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