Maude 3.4beta
Pre-release
Pre-release
·
8 commits
to master
since this release
- fixed bug where LaTeX for op names in declarations, renamings and views sometimes used the wrong font
- comments in LaTeX no longer use the comment environment
- fixed bug where the strategy part of an srewrite command was omitted in the LaTeX comment
- fixed bug where show desugared omitted local op declarations that overloaded imported operators
- changed the LaTeX vertical spacing
- fixed bug where color generated by a format attribute could run in the following text in LaTeX output
- fixed bug where a newline generated by a format attribute reset the color to black in LaTeX output