diff options
Diffstat (limited to 'js/Misc/BPLATFORM.pickle')
| -rw-r--r-- | js/Misc/BPLATFORM.pickle | 24 |
1 files changed, 10 insertions, 14 deletions
diff --git a/js/Misc/BPLATFORM.pickle b/js/Misc/BPLATFORM.pickle index b9c99f67..914fc6f8 100644 --- a/js/Misc/BPLATFORM.pickle +++ b/js/Misc/BPLATFORM.pickle @@ -4,30 +4,26 @@ p0 ((lp1 S'phi' p2 -aS'csiz' -p3 aS'ymax' +p3 +aS'csiz' p4 aS'graphics' p5 -aS'exprs' -p6 -aS'gr_i' -p7 aS'xmax' -p8 +p6 aS'plen' -p9 +p7 aS'xmin' -p10 +p8 aS'x' -p11 +p9 aS'model' -p12 +p10 aS'ymin' -p13 -atp14 -Rp15 +p11 +atp12 +Rp13 .(dp0 S'model.dstate' p1 |