There seem to be two main historical sources for Edu25 BASIC source.
One is the Wilson/nickel/dbit archive, and the other is the "johnson"
RK05 image.  Each of these is corrupted, though the "johnson" files
had rather minor damage and have been reconstructed by comparing them
with other source.  That reconstruction looks quite plausible to me,
and the relevant files can be found in the "johnson_fixed.0" directory.

The Wilson archival sources have a larger corruption, in the floating
point output routine.  I did some work in 2011 on these, building a
passable floating point output routine by borrowing code from Edu20
BASIC.  That code can be found in the iob6120 directory.

Since then, I have used the code from the johnson_fixed.0 directory
to repair the Wilson archival source.  The johnson_fixed.0 output
routine makes use of on-page constants and pointers, whereas the
(older?) Wilson source generally uses on-page literals, so I have
deleted the unreferenced constants and pointers, making something
hopefully quite similar to the original code.

Unfortunately, none of this is "gold", in the sense that it could
reliably be said to be what shipped as Edu25 BASIC back in the day.

I have also copied 'edu25.sv' from the Lasner archive, but that
doesn't have any known provenance either.

	Vince