Text file should not be executable.
Convert to Unix line endings.
Fix typo.
Added pages 831-832.
Added pages 833-835.
Added pages 836-842.
Added binsource for pp843-877.
Added pages 878-902.
Added binsource for pp903-1000.
Added pages 1001-1100.
Added pages 1101-1202.
Update history.
Added pages 1203-1300.
Added pages 1301-1320.
Added pages 1321-1322. Updated history.
Added pages 1323-1360.
Updated history.
Added pages 1361-1400.
Added pages 1401-1440.
Minor reorg to tools dir, update makefiles accordingly.