Subversion Repositories wimsdev

Rev

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

Rev 16209 Rev 17063
Line 15... Line 15...
15
 !read deduc/methparm.phtml 2
15
 !read deduc/methparm.phtml 2
16
 
16
 
17
!exit
17
!exit
18
:check
18
:check
19
!distribute items $methparmobj2 into data,left,sign,right
19
!distribute items $methparmobj2 into data,left,sign,right
20
methexp=Add \(methparm1) to two sides of \($left $sign $right)
20
methexp=Add \($methparm1) to two sides of \($left $sign $right)
21
 
21
 
22
!read deduc/sub/simplify ($left + ($methparm1)\
22
!read deduc/sub/simplify ($left + ($methparm1)\
23
	$right + ($methparm1)
23
	$right + ($methparm1)
24
!distribute lines $out into newleft,newright
24
!distribute lines $out into newleft,newright
25
!if $newleft=$empty or $newright=$empty
25
!if $newleft=$empty or $newright=$empty