Thanks for the contributions. I am going to try to take care of that and the remaining stuff from Eclipse's last upload this week-end (hopefully I will get tired by my preparations for moving but not too tired to do some work for HOL
).
Quote:
Originally Posted by Tweeky
im sure i uploaded some years ago the disk and box scans for ADI Junior Helps With Counting (6-7), did they got
lost or been to bad?
|
Sorry, but I can't find any trace of that on the FTP.
Perhaps it indeeed got lost. Or maybe it is on the hard disk of some HOL members who forgot to upload it (it was probably before I joined so I can't be sure of anything).