close checkpoint

Synopsis:

(close checkpoint)

Description:

Commits changes that occured since the last opened checkpoint (rollback to this checkpoint is no longer possible).

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