Subversion Repositories wimsdev

Rev

Rev 20 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 20 Rev 16204
Line 1... Line -...
1 
 
 - 
 
2 
!distribute items >,,< into v_context,v_equivalence,v_goal
 1 
!distribute items >,,< into v_context,v_equivalence,v_goal
3 
!for tt in context,equivalence,goal
 2 
!for tt in context,equivalence,goal
4 
 !reset $tt
 3 
  !reset $tt
5 
 t=!translate internal $	$ to $\
 4 
  t=!translate internal $	$ to $\
6 
$ in $(m_$tt)
 5 
$ in $(m_$tt)
7 
 t=!nonempty lines $t
 6 
  t=!nonempty lines $t
8 
 n=!linecnt $t
 7 
  n=!linecnt $t
9 
 !for i=1 to $n
 8 
  !for i=1 to $n
10 
  l=!line $i of $t
 9 
    l=!line $i of $t
11 
  $tt=!append line $(v_$tt) $l to $($tt)
 10 
    $tt=!append line $(v_$tt) $l to $($tt)
12 
 !next i
 11 
  !next i
13 
!next tt
 12 
!next tt
14 
 
 13 
 
15 
!if fixedgoal iswordof $m_options
 14 
!if fixedgoal iswordof $m_options
16 
 goal=
 15 
  goal=
17 
!endif
 16 
!endif
18 
objects=!nonempty lines $context\
 17 
objects=!nonempty lines $context\
19 
$equivalence\
 18 
$equivalence\
20 
$goal
 19 
$goal
21 
 
 -