[Gsll-devel] documentation patch for ode-system.lisp