finished documentation for Gretty 1.0.0