diff options
Diffstat (limited to 'js/PDE/PDE.pickle')
| -rw-r--r-- | js/PDE/PDE.pickle | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/js/PDE/PDE.pickle b/js/PDE/PDE.pickle index dd3eb157..ee321f6f 100644 --- a/js/PDE/PDE.pickle +++ b/js/PDE/PDE.pickle @@ -2,18 +2,20 @@ c__builtin__ set p0 ((lp1 -S'x' +S'lab' p2 -aS'okk' -p3 aS'rdnom' +p3 +aS'arbre_decision' p4 -aS'lab' +aS'x' p5 -aS'arbre_decision' +aS'model' p6 -atp7 -Rp8 +aS'okk' +p7 +atp8 +Rp9 .(dp0 S'params_pde' p1 |