This is a destructive action. This will unlink all specifications from your history (this information will be lost forever).
Are you sure you want to delete your profile?
SMT
Input
Syntax Checking
New Spec
Are you sure?
This will reset the editor and the output areas