-
Notifications
You must be signed in to change notification settings - Fork 6
escape
Norbert Preining edited this page Feb 27, 2018
·
1 revision
In case that, after hitting return
expecting some feed-back,
no such feed-back whatsoever is returned, typing the escape
key followed by the
return
key will make the interpreter discard the preceding input
and make a fresh start.
CafeOBJ Reference Manual (c) 2015-2018 CafeOBJ Development Team