Hi Denes, >> I think the re-usability of workspaces is implied by the manual but I >> do not see where it is explicitly stated.
I've made the documentation tweak that integration workspaces may be reused. http://bzr.savannah.gnu.org/lh/gsl/trunk/revision/4770 - Rhys _______________________________________________ Help-gsl mailing list Help-gsl@gnu.org https://lists.gnu.org/mailman/listinfo/help-gsl
