TIDE, TiOS, Tibbo BASIC and Tibbo C Manual