| changeset 48895 | 35751d90365e |
| parent 48761 | 4162c4f6f897 |
| child 59285 | 0048462f0bb3 |
| 48894:1920135f13c9 | 48895:35751d90365e |
|---|---|
41 (*TODO.WN110416 read pres from ctxt and check*) |
41 (*TODO.WN110416 read pres from ctxt and check*) |
42 |
42 |
43 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
43 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
44 show_pt pt; |
44 show_pt pt; |
45 |
45 |
46 |
|
47 |
|
48 |
|
49 |
|
50 |
|
51 (*-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.*) |
46 (*-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.*) |
52 "~~~~~ fun step, args:"; val (ip as (_,p_), (ptp as (pt,p), tacis)) = (p, ((pt, e_pos'), [])) |
47 "~~~~~ fun step, args:"; val (ip as (_,p_), (ptp as (pt,p), tacis)) = (p, ((pt, e_pos'), [])) |
53 val pIopt = get_pblID (pt,ip); |
48 val pIopt = get_pblID (pt,ip); |
54 tacis; (*= []*) |
49 tacis; (*= []*) |
55 pIopt; (*= SOME ["sqroot-test", "univariate", ...]*) |
50 pIopt; (*= SOME ["sqroot-test", "univariate", ...]*) |