-
Notifications
You must be signed in to change notification settings - Fork 5
switches
Norbert Preining edited this page Oct 6, 2017
·
2 revisions
Switches control various aspects of the computations and behavior of CafeOBJ. The current list of switches and their values can be shown with
show switches
The single switches are described separately in this manual.
CafeOBJ Reference Manual (c) 2015-2018 CafeOBJ Development Team