Subversion Repositories wimsdev

!if $currstep=1 and $m_context!=$empty

  <p>

  $name_status_hyp: {

  !set n=!linecnt $m_context

  !for i=1 to $n

    !set l=!line $i of $m_context

    !insmath $l

    !if $i<$n

      ;

    !endif

   !next i

  } </p>

!else

  !set t__=!word 1 of $newObject

  !distribute item <,>,= into lt,gt,eq

  !if $t__ = $gt

    !set l=!char 3 to -1 of $newObject

    !set l=!replace internal $\

$> by , in $l

    <p>

    $name_status_newhyp:

    !insmath $l

    </p>

  !endif

  !if $currstep>1 and $t__ notwordof $lt $gt and $newObject!=$empty

    <p>

    $name_status_now

    !insmath $newObject

    </p>

  !endif

!endif

!if $m_goal!=$empty and $status=waiting

  !set n=!linecnt $m_goal

  <p>

  $name_toprove: {

  !for i=1 to $n

    !set l=!line $i of $m_goal

    !insmath $l

    !if $i<$n

      ;

    !endif

  !next i

  }

  </p>

!endif