Update the documentation for schreyer.lib