Public alpha 153
Pre-release
Pre-release
- smarter sort disambiguation for printing statements and operator identities
- set print label attribute on/off .
- refinements to show module output
- ASCII option for maude.sty LaTeX package
- fixed various bugs in LaTeX output
- LaTeX support for more commands
- set clear module caches on/off .
- set print hooks on/off .
- space printed after comma by default in mixfix syntax
- portal attribute and enforcement of portal requirement
- uniform order for operator attributes
- |= in model checker is now partial
- set print combine vars on/off .
- new line breaking rules for LaTeX output
- backquotes removed in LaTeX output for op-hooks