diff options
Diffstat (limited to 'js/Branching/SELECT_m.pickle')
-rw-r--r-- | js/Branching/SELECT_m.pickle | 18 |
1 files changed, 11 insertions, 7 deletions
diff --git a/js/Branching/SELECT_m.pickle b/js/Branching/SELECT_m.pickle index f9c2cfa9..c8879d34 100644 --- a/js/Branching/SELECT_m.pickle +++ b/js/Branching/SELECT_m.pickle @@ -4,18 +4,22 @@ p0 ((lp1 S'nin' p2 -aS'typ' +aS'z0' p3 -aS'graphics' +aS'exprs' p4 -aS'x' +aS'gr_i' p5 -aS'model' +aS'graphics' p6 -aS'z0' +aS'x' p7 -atp8 -Rp9 +aS'model' +p8 +aS'typ' +p9 +atp10 +Rp11 .(dp0 S'model.dstate' p1 |