[help-GIFT] Re: Understanding MRML: undo

[Ralf Juengling]

> > > > To conclude: I propose to introduce a new elemenent
> > > > "undo-query-step" to request an undo of the last query step from the
> > > > server.
> >
> > <!ELEMENT undo-query-step EMPTY>
> >
> > > ...together with the results of the previous step?
> >
> > Hm, what was the benefit?
> 
> I meant exactly what you write below.

okay, fine.

Ralf

> 
> > To complete my proposal:
> > In case the server supports the "undo" tag, the server's answer to an
> > "undo-query-step" would be the last but one query result; if it does
> > not support "undo", it would simply resend the last query result along
> > with an error message.