In case the warning message you show was a cut/paste of the original, there is a typo. "instead off )LOAD" should be "instead of )LOAD".
On Thu, Apr 30, 2015 at 9:24 PM, Christian Robert < christian.rob...@polymtl.ca> wrote: > )load Delta > WARNING: this workspace was )SAVEd with SVN version 618 > but is now being )LOADed with SVN version 619 > Expect problems, in particular when the )SI was not clear. > In case of problems, please try )COPY instead off )LOAD. > SAVED 2015-04-30 22:15:45 (GMT-4) > )wsid > IS Delta > )save > 2015-04-30 22:18:42 (GMT-4) Delta > )load Delta > SAVED 2015-04-30 22:18:42 (GMT-4) > )fns > ∆ ∆∆ > > > > thanks for fixing this, I was to report a huge bug (loading old > workspaces) at SVN 618 but it seems to be fixed at 619 (just updated) > > > Xtian. > > >