Skip to content

Maude 3.4beta

Pre-release
Pre-release
Compare
Choose a tag to compare
@stevenmeker stevenmeker released this 13 Mar 04:00
· 4 commits to master since this release
Maude3.4beta
b849775
  • 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
Assets 4