Overview of Changes in Maude alpha95b
=====================================
* fixed a bug in the profiler provoked by condition fragments in a
command or descent function invocation
* more overparsing
* avoid unnecessary right id sort checking for commutative symbols

Overview of Changes in Maude alpha95a
=====================================
* fixed sort bug with new memo mechanism
* added MAUDE_META_MODULE_CACHE_SIZE environment variable

Overview of Changes in Maude alpha95
====================================
* fixed bug where tokens starting in . that followed a . that might
have, but didn't terminate a statement or command were having their
initial . split off
* handle collapse down cases in order sorted unification
* hash consing used for srewrite
* fixed a bug in the ACU matcher where bad solutions could be
generated by the lazy red-black algorithm for certain nonlinear
patterns
* fixed a bug in the module system where errors in modules constructed
for module expressions could cause a crash
* memo attribute reimplemented using hash consing

Overview of Changes in Maude alpha94a
=====================================
* fixed bug where downTerm() could return terms in the wrong kind
* changed handling of operator names that are a single special
  character
* implemented compound cycle breaking for unification
* optimizations for ACU unification
* changed handling of variable bindings for unification

Overview of Changes in Maude alpha94
====================================
* fixed bug where hash consing wasn't being used for model checking
  after all.
* fixed bug where empty sort declaration crashed show module command
* fixed bug where op->op mapping in a theory-view could be ignored if
  followed by an op->term mapping in another view
* fixed bug in upView() where op->term mappings were not being lifted
  to the metalevel correctly.
* fixed potential bug in garbage collection of dags produced by
unification if rewriting takes place between the generation of two
unifiers
* partial implementation of ACU unification.

Overview of Changes in Maude 2.5 (alpha93d2)
============================================
* BOOL-OPS split off BOOL in prelude

Overview of Changes in Maude alpha93d
=====================================
* fixed bug where fail term attachments to polymorphs cause crash
* fixed bug where flattened meta-modules produced by upModule() still
  had parameters

Overview of Changes in Maude alpha93c
=====================================
* fixed bug where upView was producing bad metaViews

Overview of Changes in Maude alpha93b
=====================================
* fixed bug in handing of metaRenamings

Overview of Changes in Maude alpha93a
=====================================
* changed AC constraint propagation algorithm to reduce the risk of
  exponential blow up at semi-compile time
* changed free theory constraint propagation algorithm to reduce the
  risk of exponential blow up at semi-compile time

Overview of Changes in Maude alpha93
====================================
* fixed performance bug with huge AC/ACU right hand sides
* fixed symmetric performace bug in A/AU theory
* fixed a A/AU rewriting with extension bug
* graceful recovery from tabs in string literals
* optimizations for construction of rhs instances
* bug where single token op names containing a string part were
  considered to have mixfix syntax
* unification code cleanup and potential bug fixed

Overview of Changes in Maude alpha92c
=====================================
* fixed metaPrettyPrint() bug in assoc, with paren case
* tail recusion elimination for dag node comparison
* various low level optimizations

Overview of Changes in Maude alpha92b
=====================================
* fixed failure to GC in rules only search
* fixed unstackable flag bug in CUI theory
* first attempt at hash consing for search/model checking
* unrewritable/unstackable optimization for search/model checking

Overview of Changes in Maude alpha92a
=====================================
* fixed BDD variable bug introduced by lazy computation of symbol sort
  calculation BDDs in alpha92
* fixed bug where free, fresh variables were not constrained to have a
  valid sort
* partly fixed a performance bug in constraint propagaion analysis
  phase of pattern compilation
* partial support for strat in metalevel builtins

Overview of Changes in Maude alpha92
====================================
* fixed a bug in unification sort calculations on polymorphic symbols
* if_then_else_fi now uses generic sort mechanism and can give
  preregularity warnings
* fixed module reparsing bug
* fixed CUI matcher bug
* fixed pending unification stack bug
* added rewrite condition fragments to search command
* fixed instantiation by theory-view bug
* added meta-view syntax and upView() operator
* first attempt at meta-interpreter

Overview of Changes in Maude 2.4 (alpha91d)
===========================================
* fixed AU term normalization bug

Overview of Changes in Maude alpha91c
=====================================
* Special case optimization for AC/ACU matching with extension

Overview of Changes in Maude alpha91b
=====================================
* Removed extranous debugging print statement

Overview of Changes in Maude alpha91a
=====================================
* Now solve diophantine equations over ints rather than mpzs for
  unification
* Extended unify command to handle systems
* Added print attribute
* Fixed Diophantine solver bug for results over 2^31 - 1
* Install .maude files in the data directory
* Fixed free theory discrimination net subsumption bug
* Fixed gcc4 incompatibilities
* Outlawed overloading operations from a parameter theory
* Fixed longstanding stdout/stderr synchonization bugs

Overview of Changes in Maude alpha91
====================================
* fixed bug where natSystemSolve() would lose hooks during importation
* fixed bug where unify command was not cleaning up after bad
  unification problem

Overview of Changes in Maude alpha90a
=====================================
* added stack overflow handling using libsigsegv
* semi-compilation of right hand sides optimized for huge right hand
  sides 
* construnction of free theory discrimination nets optimized for large
  numbers of equations

Overview of Changes in Maude alpha90
====================================
* new unification combination scheme to avoid AC cycling bug
* C unification is smarter about avoiding redundant unifiers
* reorganized surface syntax parser to allow deeply nested terms
* more overparsing 

Overview of Changes in Maude alpha89j (not released)
====================================================
* fixed bug that cause solved form subproblems to be lost in
  commutative unification
* added single redex per state narrowing option

Overview of Changes in Maude alpha89i
=====================================
* fixed two bugs which caused narrowing structures not to be deleted
* allow multiple calls to cached desent functions with same arguments
  to be efficient in most cases
* added another narrowing descent function

Overview of Changes in Maude alpha89h
=====================================
* crude support for narrowing
* fixed bug with condition fragment collapses during processing
* fixed memory leak in AU term collapses

Overview of Changes in Maude alpha89g
=====================================
* fixed selection from basis bug in AC unification algorithm
* allow unification to work on ground terms from unimplemented
  theories; made recovery in unimplemented cases consistent

Overview of Changes in Maude alpha89f
=====================================
* fixed bug where large AC dags could get normalized into tree form
  during unification with resulting chaos
* fixed C unification breakage from alpha89c

Overview of Changes in Maude alpha89e
=====================================
* fixed bug where we were deleting unification subproblems twice
* fixed module name in "no module" warning

Overview of Changes in Maude alpha89d
=====================================
* fixed bug where we were not reserving enough BDD variables for free
  variable sorts

Overview of Changes in Maude alpha89c
=====================================
* fixed bug iter theory matching with extension could return a match
  where the matched portion was alien
* added unification with extension
* reimplement meta-unification interface to support control over fresh
  variable names and disjoint unification
* allow spaces in file names using \ and "" conventions

Overview of Changes in Maude alpha89b
=====================================
* fixed bug where early unification failure caused memory corruption

Overview of Changes in Maude alpha89a
=====================================
* fixed bug where syntax could leave renaming in bad state
* fixed bug where were were passing variable->BDD mappings by value
rather than by reference
* fixed bug where we weren't clear new substitutions in CUI
unification
* fixed bug where we weren't deleting subproblems in unification
problems

Overview of Changes in Maude alpha89
====================================
* fixed bug where new unsorted unifier would not be look for after an
  unsorted unifier failed to have at least one sorted solution
* fixed bug where non-unifiers were generated in deeply nested
  commutative unification examples
* fixed bug where command line files were ignored with -no-prelude
  flag
* use dag solved forms for unification
* first support for AC unification

Overview of Changes in Maude 2.3 (alpha88f)
===========================================
* added commutative unification
* fixed free theory instantiation bug
* fixed sort calculation of S_Theory terms bug
* fixed unification with too many variables bug
* added iter theory unification

Overview of Changes in alpha88e
===============================
* string, qid and float constants allowed in unification
* fixed unify f(X, Y) =? f(Y, X)  bug

Overview of Changes in Maude alpha88d
=====================================
* set trace builtin on/off command
* state caching in strategy language
* first suppport for unification

Overview of Changes in Maude alpha88c
=====================================
* extra advisories in metalevel
* min/max operators in FLOAT
* slight change to search semantics
* metalevel projection functions now support parameterized metamodules
* fixed kind printing bug in metaPrettyPrint()
* erwrite supports limit and continue

Overview of Changes in Maude alpha88b
=====================================
* minor syntactic changes to appease gcc 4.1
* minor importation changes in prelude.maude and model-checker.maude
* fixed extension tracing bugs in search/model checker, strategy
  language and metalevel
* revised/extended strategy language; cont now works with srew
* fixed trace condition bug

Overview of Changes in Maude alpha88a
=====================================
* many changes to the prelude to fix unsoundness concerns
* process based reimplementation of strategy language
* better overparsing for operator declarations
* fixed bug with views mapping to terms from FLOAT/STRING/QID
* fixed bug in AU unique collapse matcher
* fixed bug that allowed parsing of parameterized theories
* fixed upModule() bug affecting renamings
* fixed metaXmatch() kind bug introduced by alpha86 fix
* subset tests for SET and SET*
* predefined term ordering module

Overview of Changes in Maude alpha88
====================================
* fixed more sufficient completeness issues
* search command now takes a depth bound
* added metaNormalize()
* added machine ints module

Overview of Changes in Maude alpha87a
=====================================
* fixed bug in ! strategy combinator
* fixed long standing bug in look up code for assoc ops

Overview of Changes in Maude alpha87
====================================
* crude first version of strategy language

Overview of Changes in Maude 2.2 (alpha86e)
===========================================
* fixed long standing metalevel prec bug

Overview of Changes in Maude alpha86d2
======================================
* reorganized metalevel list sorts to fix sufficient completeness
  problem 

Overview of Changes in Maude alpha86d
=====================================
* fixed stale pointer bug in view reevaluation
* minor fixes to prelude.maude
* fixed uninitialized format attribute bug
* fixed parameter theory module expression memory leak
* fixed polymorph identity memory leak
* fixed polymorph identity processing bug
* added and used QID-SET fmod
* fixed metamodule cache deletion bug
* sortLeq and lesserSort now work on types

Overview of Changes in Maude alpha86c
=====================================
* improved recovery from surface syntax errors
* added DEFAULT fth, various views and ARRAY fmod
* added LIST-AND-SET fmod
* added linear Diophantine solver
* warn about object level duplicate attributes
* fixed backquote in created module name bug
* fixed view ACU op->term mapping bug
* added -no-wrap command line option
* disallow parameter passing in nonfinal instantiations
* allow renaming of modules with bound parameters

Overview of Changes in Maude alpha86b
=====================================
* module garbage collection bug fixed
* metasummation bug fixed
* target modules with free parameters no longer allowed in views
* illegal importations no longer tolerated
* views can no longer map module defined stuff
* renamings can no longer map parameter defined stuff
* operator mappings now allowed in views
* dependency tracking supports views
* meta support for parameterization
* identity elements added for various structures in prelude

Overview of Changes in Maude alpha86a
=====================================
* fixed parameter checking bug for modules with both free and bound
  parameters
* structured sorts printed correctly in various places
* theory-views now pushed into parameterized sorts
* new naming convention for otf modules
* bound parameter instantiation now handled like Full Maude
* -no-advise command line flag
* declined messages to external objects generate advisories

Overview of Changes in Maude alpha86
====================================
* fixed loop mode \/ bug
* metaPrettyPrint() now supports options
* preregularity and constructor consistancy errors now produce a
  single informative warning
* set trace rewrite and set trace body options
* fixed metaXmatch() kind clash bug
* SO_REUSEADDR flag set on server sockets
* first attempt at parameterization in module system

Overview of Changes in Maude alpha85a
=====================================
* fixed more sufficient completeness issues in the prelude
* metadata attribute now allowed for operator declarations
* added crude support for sockets as external objects

Overview of Changes in Maude alpha85
====================================
* added min/max functions to number hierarchy
* fixed bug in up'ing FloatOpSymbol hook
* fixed sufficient completeness issues in the prelude
* fixed a bug in up'ing terms which gave kind variables the wrong
  sort
* glbSorts() now handles kinds
* show profile now includes percentages
* show path labels command added
* metaSearchPath() added
* set clear rules on/off command added
* maximalAritySet() added

Overview of Changes in Maude alpha84d
=====================================
* fixed 0.0 ^ -1.0 bug
* module selectors now support theories

Overview of Changes in Maude alpha84c
=====================================
* added random number generation
* added counters
* trace applications in metaApply()/metaXapply()

Overview of Changes in Maude 2.1.1 (alpha84b.2)
===============================================
* fixed op renaming bug

Overview of Changes in Maude alpha84b.1
=======================================
* fixed AU sort calculation bug

Overview of Changes in Maude alpha84b
=====================================
* set protect/extend <module> on/off added, BOOL now protected
* fixed upModule() bug wrt CUI_NumberSymbol and ACU_NumberSymbol hooks
* theory syntax and meta-syntax added
* fixed label renaming bug
* overparsing added
* warnings added for illegal ad hoc overloading
* rudimentary checking for bubble hooks
* fixed missing id importation bug

Overview of Changes in Maude 2.1 (alpha84)
==========================================
* added -no-banner flag
* fixed bug where syntax errors corrupted memory
* added rudimentary test suite

Overview of Changes in Maude alpha83a
=====================================
* fixed crash that occurred when bubbles are imported
* fixed memory corruption when copying persistent representations
* fixed crash on imported module overwrite following a descent
  function failure
* simple module expressions are now supported at both the object and
  metalevel 
* bashing together unrelated sorts and ops is now legal
* added show modules command

Overview of Changes in Maude alpha83
====================================
* made polymorphs explicit with poly attribute
* added many new metalevel functions
* fixed meta-context iter bug
* fixed object level Bubble-Exclude bug
* show all/show module now prints specials

Overview of Changes in Maude alpha82
====================================
* fixed crash that occurred when printing redeclaration of sort error
  from the metalevel
* extended quo/rem/gcd/lcm/divides to Rats
* made constructor coloring work corectly for iter operators
* changed operational semantics of owise equations wrt nondefault
  operator stategies
* fixed bugs in show module/show all commands
* fixed metaPrettyPrint kind variable bug
* fixed break point with builtin op seg fault
* added upTerm() and downTerm()
* Infinity/-Infinity now work on FreeBSD & MacOSX
* building with Tecla is now optional

Overview of Changes in Maude 2.0.1 (alpha81)
============================================
* switched build system to autoconf/automake
* many portability fixes
* added --help and --version flags
* fixed infinite recursion with unary empty syntax bug
* internal ordering on Qids is now alphabetical
* fixed serious bugs in the ACU matcher