revertState
Synopsis:
(revertState)
Description:
Reverts to the last
state.
Example:
(revertState)
Contact:
Fulvio Frapolli (
fulvio . frapolli //at// unifr . ch),
Amos Brocco (
amos . brocco //at// unifr . ch)
* Remove spaces and replace //at// with @
