2014-02-06  Steven Eker  <eker@ape.csl.sri.com>

	* configure.ac: removed rope_UGLY_HACK option

	* src/3rdParty/Makefile.am (noinst_HEADERS): removed
	rope_UGLY_HACK stuff

2014-01-31  Steven Eker  <eker@ape.csl.sri.com>

	* configure.ac: no longer offer dlmalloc option

	* src/3rdParty/malloc.c: deleted

	* src/3rdParty/Makefile.am: remove all mention of dlmalloc

===================================Maude100a===========================================

2013-03-12  Steven Eker  <eker@ape.csl.sri.com>

	* tests/Misc/unification (MAUDE_LIB): created

	* tests/Misc/CU_Unification.maude: created

2013-03-11  Steven Eker  <eker@ape.csl.sri.com>

	* tests/ResolvedBugs/unificationMar2013 (MAUDE_LIB): created

	* tests/ResolvedBugs/unificationMar2013.maude: created

2012-08-06  Steven Eker  <eker@ape.csl.sri.com>

	* src/3rdParty/ropeimpl_UGLY_HACK.h: hacked up verison of Mac ropeimpl.h

	* src/3rdParty/rope_UGLY_HACK: version of Mac rope that uses ropeimpl_UGLY_HACK.h

	* configure.ac: added flag for rope ugly hack

2012-07-31  Steven Eker  <eker@ape.csl.sri.com>

	* tests/Misc/variantNarrowing (MAUDE_LIB): created

	* tests/Misc/variantNarrowing.maude: created

	* tests/Meta/metaVariantUnify (MAUDE_LIB): created

	* tests/Meta/metaVariantUnify.maude: created

	* tests/Misc/variantUnification.maude: created

	* tests/Misc/variantUnification (MAUDE_LIB): created

===================================Maude96a===========================================

2010-05-21  Steven Eker  <eker@rho>

	* tests/ResolvedBugs/CUIbug12-22-09.maude (CUI_DagNode): use set
	show timing off .

===================================Maude94===========================================

2010-03-19  Steven Eker  <eker@rho>

	* configure.ac: don't bother with -fomit-frame-pointer
	-fforce-addr; check for gcc 4.*

2009-12-23  Steven Eker  <eker@goo.csl.sri.com>

	* tests/ResolvedBugs/CUIbug12-22-09 (MAUDE_LIB): added; removed
	previous tests

2009-11-12  Steven Eker  <eker@goo.csl.sri.com>

	* tests/ResolvedBugs/Makefile.am (RESULT_FILES): added 6 tests

2009-11-11  Steven Eker  <eker@goo.csl.sri.com>

	* tests/ResolvedBugs/santiago9-21-09 (MAUDE_LIB): created

	* tests/ResolvedBugs/paco10-6-09 (MAUDE_LIB): created

	* tests/ResolvedBugs/santiago11-2-09 (MAUDE_LIB): created

	* configure.ac: added tests/ResolvedBugs

===================================Maude92a===========================================

2008-09-17  Steven Eker  <eker@goo.csl.sri.com>

	* tests/Meta/metaPrintAttr (MAUDE_LIB): created

	* tests/Meta/metaPrintAttr.maude: created

	* tests/Misc/attributes (MAUDE_LIB): created

	* tests/Misc/attributes.maude: created

2008-09-16  Steven Eker  <eker@goo.csl.sri.com>

	* tests/Misc/unification.maude: added simultaneous unification
	examples

	* tests/Misc/parameterization.maude: added a check for illegally
	overriding  an operator from a parameter theory

===================================Maude91a===========================================

2008-04-18  Steven Eker  <eker@goo.csl.sri.com>

	* tests/Meta/metaUnify (MAUDE_LIB): created

	* tests/Misc/unification (MAUDE_LIB): created

	* tests/Misc/unification.maude: created

===================================Maude91===========================================

2006-10-06  Steven Eker  <eker@goo.csl.sri.com>

	* tests/Meta/metaMetadata (MAUDE_LIB): Mixfix -> Main

	* tests/Meta/metaUpDown (MAUDE_LIB): Mixfix -> Main

	* tests/Meta/metaPolymorph (MAUDE_LIB): Mixfix -> Main

	* tests/Meta/metaModExp (MAUDE_LIB): Mixfix -> Main

	* tests/Meta/metaUpModExp (MAUDE_LIB): Mixfix -> Main

	* tests/Meta/metaUp2 (MAUDE_LIB): Mixfix -> Main

	* tests/Meta/metaUp (MAUDE_LIB): Mixfix -> Main

	* tests/Meta/metaXmatch (MAUDE_LIB): Mixfix -> Main

	* tests/Meta/metaXapply (MAUDE_LIB): Mixfix -> Main

	* tests/Meta/metaWellFormed (MAUDE_LIB): Mixfix -> Main

	* tests/Meta/metaTerm (MAUDE_LIB): Mixfix -> Main

	* tests/Meta/metaSpecial (MAUDE_LIB): Mixfix -> Main

	* tests/Meta/metaSort (MAUDE_LIB): Mixfix -> Main

	* tests/Meta/metaSearch (MAUDE_LIB): Mixfix -> Main

	* tests/Meta/metaRewrite (MAUDE_LIB): Mixfix -> Main

	* tests/Meta/metaReduce (MAUDE_LIB): Mixfix -> Main

	* tests/Meta/metaPrettyPrint (MAUDE_LIB): Mixfix -> Main

	* tests/Meta/metaParse (MAUDE_LIB): Mixfix -> Main

	* tests/Meta/metaModule (MAUDE_LIB): Mixfix -> Main

	* tests/Meta/metaMeta (MAUDE_LIB): Mixfix -> Main

	* tests/Meta/metaMatch (MAUDE_LIB): Mixfix -> Main

	* tests/Meta/metaFrewrite (MAUDE_LIB): Mixfix -> Main

	* tests/Meta/metaApply (MAUDE_LIB): Mixfix -> Main

	* tests/Misc/parameterization.maude: use new order theories

	* tests/Misc/dataStructures (MAUDE_LIB): Mixfix -> Main

	* tests/Misc/dekker (MAUDE_LIB): Mixfix -> Main

	* tests/Misc/commands (MAUDE_LIB): Mixfix -> Main

	* tests/Misc/debug (MAUDE_LIB): Mixfix -> Main

	* tests/Misc/parameterization (MAUDE_LIB): Mixfix -> Main

	* tests/Misc/diophantine (MAUDE_LIB): Mixfix -> Main

	* tests/Misc/renaming (MAUDE_LIB): Mixfix -> Main

	* tests/BuiltIn/nat (MAUDE_LIB): Mixfix -> Main

	* tests/BuiltIn/int (MAUDE_LIB): Mixfix -> Main

	* tests/BuiltIn/rat (MAUDE_LIB): Mixfix -> Main

	* tests/BuiltIn/string (MAUDE_LIB): Mixfix -> Main

	* tests/BuiltIn/counters (MAUDE_LIB): Mixfix -> Main

	* configure.ac: support src/Main

2006-09-13  Steven Eker  <eker@goo.csl.sri.com>

	* tests/Misc/parameterization.maude: rewritten with new orderings
	replacing TAO-SET

	* tests/Misc/dataStructures.maude: rewritten to test fmod
	SORTABLE-LIST-AND-SET

===================================Maude88a===========================================

2006-06-28  Steven Eker  <eker@goo.csl.sri.com>

	* configure.ac: don't tweak -mpreferred-stack-boundary= on Intel
	Macs because Darwin needs 16 byte alignment

2005-11-16  Steven Eker  <eker@goo.csl.sri.com>

	* configure.ac: don't use Doug Lea's malloc() on x86-64/linux
	because of linking issues

2005-11-15  Steven Eker  <eker@goo.csl.sri.com>

	* configure.ac: x86-64 specific stuff

===================================Maude86d===========================================

2005-10-06  Steven Eker  <eker@goo.csl.sri.com>

	* tests/Misc/diophantine.maude: created

	* tests/Misc/diophantine (MAUDE_LIB): created

	* tests/Misc/diophantine.expected: created

	* tests/Misc/parameterization.maude: created

	* tests/Misc/parameterization (MAUDE_LIB): created

	* tests/Misc/parameterization.expected: created

2005-10-05  Steven Eker  <eker@goo.csl.sri.com>

	* tests/Misc/dataStructures.expected: created

	* tests/Misc/dataStructures.maude: created

	* tests/Misc/dataStructures (MAUDE_LIB): created

===================================Maude86c===========================================

2005-06-23  Steven Eker  <eker@goo.csl.sri.com>

	* tests/Misc/renaming (MAUDE_LIB): created

	* tests/Misc/renaming.expected: created

	* tests/Misc/renaming.maude: added

===================================Maude86b===========================================

2005-01-07  Steven Eker  <eker@goo.csl.sri.com>

	* tests/Meta/metaPrettyPrint.maude: updated test for print option argument

2004-12-08  Steven Eker  <eker@goo.csl.sri.com>

	* tests/Meta/Makefile.am: added metaMetadata

	* tests/Meta/metaMetadata: created

	* tests/Meta/metaMetadata.maude: created

===================================Maude85a===========================================

2004-12-03  Steven Eker  <eker@goo.csl.sri.com>

	* tests/Meta/metaSort.maude: added maximalAritySet() test; added
	test for glbSorts() on a kind
	

2004-12-01  Steven Eker  <eker@goo.csl.sri.com>

	* tests/Meta/metaSearch.maude: added tests for metaSearchPath()

	* tests/BuiltIn/Makefile.am: added counters

	* tests/BuiltIn/counters: created

	* tests/BuiltIn/counters.expected: created

	* tests/BuiltIn/counters.maude: created

2004-11-30  Steven Eker  <eker@goo.csl.sri.com>

	* configure.ac: CCFLAGS -> CFLAGS
	replaced ETR_SOCKET_NSL with AC_CHECK_LIB() calls for nsl and
	socket libraries

2004-11-29  Steven Eker  <eker@goo.csl.sri.com>

	* configure.ac: changed -mcpu=v8 to -march=v8 since -mcpu= is
	deprecated in gcc versions >= 3.1; added ETR_SOCKET_NSL

2004-10-05  Steven Eker  <eker@goo.csl.sri.com>

	* configure.ac: added --enable-mos option to support legacy apps

2003-09-02  Steven Eker  <eker@goo.csl.sri.com>

	* configure.ac: deleted  AC_DEFINE([SPEED_HACKS])


2003-07-29  Steven Eker  <eker@goo.csl.sri.com>

	* Created standard files that automake expects to see. Look in
	individual source directories for detailed changes.
