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