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