Subversion Repositories wimsdev

Rev

Rev 7210 | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
7210 bpr 1
Available options:
20 reyssat 2
 nofloat nostatus fixedgoal askcontext askresult nosimplify strongsimplify
3
 expand factor
4
 
5
 nofloat: do not accept floating point numbers with `.'.
6
 nostatus: do not show step status.
7
 fixedgoal: do not allow goal reduction.
8
 askcontext: ask for application context of each method (when available).
9
 askresult: ask for result of each method (when available).
10
 nosimplify: do not simplify method results.
11
 strongsimplify: strongly simplify method results.
12
 expand: expand after simplification.
13
 factor: factor out after simplification.