equal
deleted
inserted
replaced
12 min(0:tip) |
12 min(0:tip) |
13 0:: |
13 0:: |
14 min(0::) |
14 min(0::) |
15 roots((tip~100::) - (tip~100::tip)) |
15 roots((tip~100::) - (tip~100::tip)) |
16 ::p1(p1(tip)):: |
16 ::p1(p1(tip)):: |
|
17 public() |
|
18 :10000 and public() |
|
19 draft() |
|
20 :10000 and draft() |