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