undo point

Synopsis:

(undo point)

Description:

Sets an undo point, i.e. stores the current situation.

Example:

(undo point)

Contact: Fulvio Frapolli (fulvio . frapolli //at// unifr . ch), Amos Brocco (amos . brocco //at// unifr . ch)
* Remove spaces and replace //at// with @