Public alpha 160

• initial equality operator handles more cases
• fixed bug in rat() string to rational conversion operator
• extra built-in operators on characters and strings
• fixed build issue on 32-bit platforms
• fixed potential memory corruption in vu-narrow
• check for unsafe variable names in vu-narrow
• allow term disjunctions in vu-narrow at the object level

Maude 3.4

Official Maude 3.4 release.

• set print latex on/off command
• fixed loop mode LaTeX bug

Maude 3.4beta

• 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

Public alpha 157

• fixed bug where debugging information was being printed to stderr when generating the LaTeX for a structured constant; this also caused a crash on Macs
• mismatched parentheses in operators now generates a warning
• fixed crash in LaTeX generating code for strange constant names
• bound on exponents and left shifts increased to ULONG_MAX
• many changes to the way operator names are printed to fix various pathological cases and make the output look prettier
• various LaTeX tweaks

Public alpha 156

• LaTeX support for more commands and features
• big numbers, strings, qids and unparsed tokens are now broken across multiple lines in LaTeX to avoid an "Overfull \hbox"
• fixed bug where bad LaTeX was generated by show mod for certain characters in metadata
• added =># search type
• fixed bug where srewrite could miss a rewrite due to a side-effect from a condition
• equations with both variant and nonexec attributes produce an advisory and are no longer used for variant narrowing
• in/load/sload no longer attempt to read non-regular files
• increased line length and history size with Tecla
• the narrow command now respects frozen positions

Public alpha 155

• fixed bug in LaTeX output for format attribute
• fixed missing space in LaTeX output between format and metadata attributes
• fixed bad LaTeX for dags with print color on
• latex attribute supported
• fixed bug where LaTeX for structured constants didn't support the format attribute
• fixed bug where format s and i commands didn't work at the start of a LaTeX line
• fixed CVC4 bindings for latest version

Public alpha 154

• conventions for printing spaces around unparsed tokens made uniform
• fixed bug where set print const with sorts on . did not work for built-in constants in terms
• new with-sorts PrintOption constant
• added metaPrintToString() descent function
• added printToString() message
• metaPrettyPrint() descent function supports concealed argument lists via an extra argument
• printTerm() message supports concealed argument lists via an extra argument
• concealed argument lists support for printing terms in modules
• fixed bug where color for terms in modules produced bad LaTeX
• fixed bug in LaTeX for disambiguation of iter operators

Public alpha 153

• 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

Public alpha 152

• more LaTeX support
• fixed bug in the LaTeX printing of view instantiations
• fixed bug in LaTeX printing of one strategy
• fixed bug in LaTeX printing of srew/dsrew commands
• fixed a termination bug in filtered variant unify
• optimizations to semi-compilation of free theory equations
• fixed compile time error for 32-bits targets
• updated config.guess

Public alpha 151

• fmod INITIAL-EQUALITY-PREDICATE added to prelude
• more LaTeX support
• fixed bug where debug modifier wasn't being printed
• fixed break deselect, trace deselect, trace include, print reveal bugs
• fixed LaTeX timing bugs