Go backward to A.9 Abbreviations and Synonyms
Go up to A List of Core Maude Commands
A.10 Deprecated features
The following features support (very) limited backward compatibility
with the OBJ family of languages. They may be omitted in future
releases and thus should not be used in new code.
The following OBJ commands are recognized as equivalent to Maude commands:
|
set gc show on . | = | set show gc on . |
|
set gc show off . | = | set show gc off . |
|
set stats on . | = | set show stats on . |
|
set stats off . | = | set show stats off .
|
The following abbreviations and synonyms are supported for module
syntax.
|
obj | = | fmod |
|
endo | = | endfm |
|
jbo | = | endfm |
|
cq | = | ceq
|