updated documentation for Gretty 1.1.5