next up previous
Next: 15.9.1 Seed file encoding Up: 15 Seed. Previous: 15.8 Repeating the seed.

15.9 Loading a seed.

If ``l'' is selected in #15.1, top right windows allow a seed be loaded from a ``*.eed'' file, the default filename is ``myseed.eed'' (see filing).