Subversion Repositories wimsdev

!if $wims_read_parm=erase
 !goto erase
!endif

!if $opt notwordof newstep
  !read deduc/objects.put $currstep
  statusline=!item 1 to $currstep of $statusline
  statusline=!append item ($newobject) to $statusline
  statusLine=!item 1 to $currstep of $statusLine
  statusLine=!append item ($newObject) to $statusLine
  stepcases=!item 1 to $currstep-1 of $stepcases
  stepcases=!append item $thiscase to $stepcases
  stepcounting=!char 1 to $currstep-1 of $stepcounting            $
  !if $stepnocount!=yes
   stepcounting=$(stepcounting)1
  !else
   stepcounting=$(stepcounting)0
  !endif

  methods=!line 1 to $currstep-1 of $methods\
\
\
\

  !default methexp=???
  methods=!append line $methexp to $methods
  laststep=!itemcnt $statusline
  laststep=$[$laststep-1]
!else
  newobject=!item $currstep of $statusline
  newobject=!char 2 to -2 of $newobject
  newObject=!item $currstep of $statusLine
  newObject=!char 2 to -2 of $newObject
  !read deduc/objects.get $currstep-1
!endif

:erase
!for i=1 to $methparmcnt
  methparm$i=
!next i

!reset method, methparmtype, resultlist, contextlist,methparmrelax,\
  m_context, m_equivalence,\
  shcontext, shresult, listcontext, listresult,\
  goodcontext, goodresult, repcontext, represult,\
  casesplit, splitobj, stepnocount

!if fixedgoal notwordof $m_options
  !reset m_goal
!endif

t=!char 1 of $newobject
!distribute item <,>,= into lt,gt,eq
!if $t iswordof $lt $gt
  no=!char 3 to -1 of $newobject
!else
  no=$newobject
!endif
m_newobject=!translate internal $\
$ to $  $ in $no
!distribute items 1,1 into methstep,methsubstep
methlist=$mthlist
titlist=$mtitles

n=!linecnt $objects
!for i=1 to $n
  l=!line $i of $objects
  w=!word 1 of $l
  m=!word 2 to -1 of $l
  imp=>
  gl=<
  !if $w=$imp
    m_context=!append line $m to $m_context
  !else
    !if $w=$gl
      !if fixedgoal notwordof $m_options
        m_goal=!append line $m to $m_goal
      !endif
    !else
      m_equivalence=!append line $l to $m_equivalence
    !endif
  !endif
!next i