Ein Werkzeug zur interaktiven Programmentwicklung und -dokumentation.