2024-03-19  Steven Eker  <eker@pup>

	* README.md: updated web links

2024-03-13  Steven Eker  <eker@pup>

	* README.md: added Maude 3.4 details

==================================Maude159===========================================

2024-02-27  Steven Eker  <eker@pup>

	* tests/Corner/operatorNames.maude: added ops/msgs examples

2024-02-23  Steven Eker  <eker@pup>

	* tests/Corner/operatorNames.maude: added tests for op-hooks

2024-02-20  Steven Eker  <eker@pup>

	* tests/Corner/operatorNames.maude: added example to illstrate op
	in from theory of a view

2024-02-19  Steven Eker  <eker@pup>

	* tests/Corner/operatorNames.maude: added

2024-01-30  Steven Eker  <eker@pup>

	* INSTALL (GMP_LIBS): use gmp 6.3.0; it claims to support ARM under
	MacOS so remove comment about M1 and M2 chips

==================================Maude157===========================================

2024-01-24  Steven Eker  <eker@pup>

	* tests/ResolvedBugs/conditionSideEffectInStrategyLanguageDecember2023.maude:
	added

==================================Maude156===========================================

2023-10-02  Steven Eker  <eker@pup>

	* tests/ResolvedBugs/filteredVariantUnifyJune2023.maude: added

==================================Maude152===========================================

2023-05-12  Steven Eker  <eker@pup>

	* tests/ObjectOriented/prngTest.maude: added

==================================Maude149===========================================

2023-05-05  Steven Eker  <eker@pup>

	* tests/ResolvedBugs/stripperCollectorSwitchMay2023.maude: added

2023-05-03  Steven Eker  <eker@pup>

	* tests/Corner/ACU_TreeVariableSubproblem.maude: added

==================================Maude148===========================================

2023-04-28  Steven Eker  <eker@pup>

	* tests/ResolvedBugs/redBlackNGA_April2023.maude: added

	* tests/ResolvedBugs/redBlackTooFewSubjectsApril2023.maude: added

	* tests/ResolvedBugs/redBlackNonLinearApril2023.maude: added

===================================Maude147===========================================

2023-04-13  Steven Eker  <eker@pup>

	* tests/Corner/attributeOverparsing.maude: added latex examples

2023-04-11  Steven Eker  <eker@pup>

	* tests/Corner/attributeOverparsing.maude: added

	* tests/Corner/fakeParameterConstant.maude: added

	* tests/Corner/fakeParameterSort.maude: added

===================================Maude145===========================================

2023-04-10  Steven Eker  <eker@pup>

	* tests/ResolvedBugs/pseudoParameterTheoryConstantMarch2023.maude: added

	* tests/ResolvedBugs/pseudoParametersMarch2023.maude: added

	* tests/ResolvedBugs/parameterizedPolymorphicConstantMarch2023.maude: added

	* tests/ResolvedBugs/arityRenamingMarch2023.maude: added

	* tests/ResolvedBugs/renamingInstantiationMarch2023.maude: added

	* tests/ResolvedBugs/quotedTokenMarch2023.maude: added

===================================Maude144===========================================

2023-03-22  Steven Eker  <eker@pup>

	* tests/Meta/metaGeneratedBy.maude: added

	* tests/ResolvedBugs/opRenamingParseErrorMarch2023.maude: added

	* tests/ResolvedBugs/parameterizedConstantsMarch2023.maude: added

	* tests/ResolvedBugs/moduleOrphanedByViewFebruary2023.maude: added

	* tests/ResolvedBugs/orphanedViewInstantiationFebruary2023.maude: added

	* tests/ResolvedBugs/generatedByFebruary2023.maude: added

2023-03-21  Steven Eker  <eker@pup>

	* INSTALL: no need to pass CFLAGS for Maude build

	* tests/ResolvedBugs/metaAutoOoIncludeFebruary2023.maude: added

	* tests/ResolvedBugs/theoryViewOpToTermFebruary2023.maude: added

	* tests/ResolvedBugs/specificOpMappingPrintFebruary2023.maude: added

	* tests/ResolvedBugs/endothFebruary2023.maude: created

	* tests/ResolvedBugs/metaNarrowingApplyMarch2023.maude: created

	* configure.ac (USE_TECLA): try -ltinfo, -lncurses, -lcurses in
	turn because Mac does not have libtinfo, but does have libncurses

2023-03-20  Steven Eker  <eker@pup>

	* configure.ac: remove -lcurses in the --with-tecla case

2023-03-15  Steven Eker  <eker@pup>

	* INSTALL: updated

	* tests/Corner/badStatement.maude: added

	* tests/Misc/pconst5.maude: added

2023-03-14  Steven Eker  <eker@pup>

	* tests/ResolvedBugs/showDesugaredFebruary2023.maude: added

	* tests/ResolvedBugs/doubleAttributeFebruary2023.maude: added

2023-03-13  Steven Eker  <eker@pup>

	* tests/ResolvedBugs/spuriousAdvisoryRenamingCaptureJanuary2023.maude:
	added

	* tests/ResolvedBugs/smodStrategyNameJanuary2023.maude: added

	* INSTALL: updated

2023-03-10  Steven Eker  <eker@pup>

	* tests/Corner/badOmod.maude: turn timing off

	* README.md: updated

2023-03-06  Steven Eker  <eker@pup>

	* tests/Corner/badView.maude: added

	* tests/Corner/badOmod.maude: added

	* tests/Corner/badRenaming.maude: added

===================================Maude143===========================================

2023-02-16  Steven Eker  <eker@pup>

	* tests/ObjectOriented/oo-list-2.maude: updated with new version from Paco

	* tests/ObjectOriented/oo-list-3.maude: added

	* tests/ObjectOriented/oo-list-2.maude: added

	* tests/ObjectOriented/dining-philosophers6.maude: added

	* tests/ObjectOriented/dining-philosophers5.maude: added

===================================Maude141===========================================

2023-02-14  Steven Eker  <eker@pup>

	* README.md: added Maude 3.2.2 changes

	* tests/ObjectOriented/parameterization.maude: added

	* tests/Misc/parameterizedConstant.maude: added

2023-02-08  Steven Eker  <eker@pup>

	* tests/Misc/pconst4.maude: added

2023-02-07  Steven Eker  <eker@pup>

	* tests/Misc/pconst3.maude: added

	* tests/Misc/pconst2.maude: added

	* tests/Misc/pconst.maude: added

===================================Maude140===========================================

2023-02-02  Steven Eker  <eker@pup>

	* tests/ResolvedBugs/theoryViewWrongWarningFebruary2023.maude: created

	* tests/ObjectOriented/rrobin.maude: added

	* tests/ObjectOriented/rent-a-car-store.maude: added

	* tests/ObjectOriented/account.maude: added

2023-01-31  Steven Eker  <eker@pup>

	* tests/ResolvedBugs/upTheoryJanuary2023.maude: added

===================================Maude139===========================================

2022-12-22  Steven Eker  <eker@pup>

	* tests/ResolvedBugs/degenerateFilteredVariantUnifyDecember2022.maude: turn timing off

	* tests/ResolvedBugs/kindNameDecember2022.maude: added

	* configure.ac: use AM_INIT_AUTOMAKE([tar-ustar foreign]) to avoid error now
	that README has moved to README.md

2022-12-19  Steven Eker  <eker@pup>

	* tests/ResolvedBugs/degenerateFilteredVariantUnifyDecember2022.maude: added

2022-12-08  Steven Eker  <eker@pup>

	* tests/ResolvedBugs/instantiatedViewInternalNameOct2022.maude: added

===================================Maude138===========================================

2022-01-25  Steven Eker  <eker@pup>

	* tests/ResolvedBugs/loopModeStateAugust2021.maude: added

	* tests/ResolvedBugs/uninitIterExtSeptember2021.maude: added

===================================Maude137===========================================

2021-06-08  Steven Eker  <eker2@eker10>

	* tests/Misc/directoryTest.maude: added

2021-05-26  Steven Eker  <eker2@eker10>

	* tests/Misc/AU_and_A_UnificationEdgeCases.maude: updated comment
	now that PigPug::tightenConstraints() has been deleted

===================================Maude136===========================================

2021-03-10  Steven Eker  <eker2@eker10>

	* tests/ResolvedBugs/deleteTimerMarch2021.maude: added

===================================Maude135===========================================

2021-02-22  Steven Eker  <eker2@eker10>

	* tests/ResolvedBugs/irredUnifyFeb2021.maude: added

2021-02-17  Steven Eker  <eker2@eker10>

	* tests/Misc/fileTest.maude: use fileTest.maude itself as file to
	read from

2021-02-16  Steven Eker  <eker2@eker10>

	* tests/Misc/fileTest.maude: added

2021-01-22  Steven Eker  <eker2@eker10>

	* tests/Misc/AU_IrredUnification.maude: added

2021-01-04  Rubén Rubio  <rubenrub@ucm.es>

	* tests/StrategyLanguage/parameterization.maude: added
	tests for parameterized views

===================================Maude133===========================================

2020-12-08  Steven Eker  <eker2@eker10>

	* tests/Meta/metaProcStrategy.maude: added

	* tests/Meta/metaProcNarrowSearch.maude: added

	* tests/Meta/metaProcNarrow.maude: added

	* tests/Meta/metaProcApply.maude: added

	* tests/Meta/metaProcParse.maude: added

	* tests/Meta/metaProcPrint.maude: added

	* tests/Meta/metaProcVariantMatch.maude: added

	* tests/Meta/metaProcVariantUnify2.maude: added

	* tests/Meta/metaProcVariantUnify.maude: added

	* tests/Meta/metaProcVariant.maude: added

	* tests/Meta/metaProcUnify.maude: added

	* tests/Meta/metaProcMatch.maude: added

	* tests/Meta/metaProcSearch.maude: added

	* tests/Meta/metaProcPrelude.maude: added

	* tests/Meta/metaProcReplace.maude: added

	* tests/Meta/metaProcReplace2.maude: added

2020-12-07  Steven Eker  <eker2@eker10>

	* tests/Meta/metaProcSort.maude: added

	* tests/Meta/russianDollsNonFlatProc3.maude: added

	* tests/Meta/russianDollsNonFlatProc2.maude: added

	* tests/Meta/russianDollsNonFlatProc.maude: added

	* tests/Meta/russianDollsFlatProc.maude: added

2020-11-09  Steven Eker  <eker2@eker10>

	* tests/ResolvedBugs/attributeBugsNovember2020.maude: added

	* tests/ResolvedBugs/polymorphicParsingBugsNovember2020.maude: added

===================================Maude132===========================================

2020-09-24  Steven Eker  <eker2@eker10>

	* tests/ResolvedBugs/CUI_OccursCheckSeptember2020.maude: created

===================================Maude131===========================================

2020-09-21  Steven Eker  <eker2@eker10>

	* tests/ResolvedBugs/indentityUnificationSeptember2020.maude:
	added

2020-09-17  Steven Eker  <eker2@eker10>

	* tests/Misc/continue.maude: added test for variant matching

2020-09-16  Steven Eker  <eker2@eker10>

	* tests/Meta/metaNarrow.maude: added delay, filter examples

	* tests/Meta/metaIntNewNarrow.maude: added delay, filter examples

===================================Maude130===========================================

2020-09-09  Steven Eker  <eker2@eker10>

	* tests/Meta/metaVariantMatch.maude: added

2020-09-08  Steven Eker  <eker2@eker10>

	* tests/Meta/metaIntVariantMatch.maude: added

2020-09-04  Steven Eker  <eker2@eker10>

	* tests/Misc/variantMatching.maude: added

2020-09-03  Steven Eker  <eker2@eker10>

	* tests/Meta/metaIntVariantUnify2.maude: added

2020-09-02  Steven Eker  <eker2@eker10>

	* tests/Meta/metaVariantUnify2.maude: added

	* tests/Meta/checkUnifiers.maude: use new version of metaVariantUnify()

2020-09-01  Steven Eker  <eker2@eker10>

	* tests/Misc/filteredVariantUnification.maude: added

2020-07-15  Steven Eker  <eker2@eker10>

	* tests/Meta/metaIntUnify.maude: added examples for
	getIrredundantUnifier(), getIrredundantDisjointUnifier()

	* tests/Meta/metaUnify.maude: added examples for
	metaIrredundantUnify(), metaIrredundantDisjointUnify()

===================================Maude129===========================================

2020-07-01  Steven Eker  <eker2@eker10>

	* tests/Misc/AU_Unification.maude: added

2020-06-24  Steven Eker  <eker2@eker10>

	* tests/Misc/unification.maude: change the theory in the
	unsupported theory example to AUl since AU is now partly supported

2020-06-11  Steven Eker  <eker2@eker10>

	* tests/ResolvedBugs/variantUnifyJune2020.maude: added

	* tests/Meta/checkUnifiers.maude: added

2020-05-28  Steven Eker  <eker2@eker10>

	* tests/ResolvedBugs/ACU_MissingUnifiersMay2020.maude: added

	* tests/ResolvedBugs/sortCollapseMay2020.maude: added

2020-05-19  Steven Eker  <eker2@eker10>

	* tests/ResolvedBugs/identityUnificationMay2020.maude: added

2020-05-05  Steven Eker  <eker2@eker10>

	* tests/ResolvedBugs/complexParserSyncApril2020.maude: removed
	line left from metaParseStrategy() test

2020-04-28  Steven Eker  <eker2@eker10>

	* configure.ac: added test for ppoll() existence

2020-04-13  Steven Eker  <eker2@eker9>

	* tests/ResolvedBugs/complexParserSyncApril2020.maude: added

	* tests/ResolvedBugs/metaParseStrategyApril2020.maude: added

===================================Maude128a===========================================

2020-03-06  Steven Eker  <eker2@eker9>

	* tests/ResolvedBugs/closeSocketFeb2020.maude: added

2020-02-06  Steven Eker  <eker@mu>

	* tests/ResolvedBugs/ascentFunctionsJanuary2020.maude: added

===================================Maude128===========================================

2019-11-20  Rubén Rubio  <rubenrub@ucm.es>

	* tests/Meta/metaIntStrategy.maude: added

	* tests/StrategyLanguage/metalevel.maude: adapted to the new
	interface and syntax of the strategy language at the metalevel

	* tests/StrategyLanguage/parameterization.maude: added

2019-11-11  Steven Eker  <eker@mu>

	* tests/Meta/metaIntParse.maude: parseQidList() ->
	parseTerm()

2019-11-08  Steven Eker  <eker@mu>

	* tests/Meta/metaIntParse.maude: use variable alias feature

	* tests/Meta/metaIntPrint.maude: use variable alias feature

2019-11-05  Steven Eker  <eker@mu>

	* tests/Meta/metaPrettyPrint.maude: added tests for variable
	alias feature

2019-11-04  Steven Eker  <eker@mu>

	* tests/Meta/metaParse.maude: added tests for variable alias
	feature

2019-10-22  Steven Eker  <eker@mu>

	* tests/Meta/metaGetVariant.maude: use new variable
	family based metaGetVariant()

	* tests/Meta/metaVariantUnify.maude: use new variable
	family based metaVariantUnify()/metaVariantDisjointUnify()

	* tests/Meta/legacyMetaGetVariant.maude: created

2019-10-21  Steven Eker  <eker@mu>

	* tests/Meta/legacyMetaVariantUnify.maude: created

2019-10-18  Steven Eker  <eker@mu>

	* tests/Meta/metaUnify.maude: use new variable family based
	metaUnify()/metaDisjointUnify()

	* tests/Meta/legacyMetaUnify.maude: created

===================================Maude125===========================================

2019-07-31  Steven Eker  <eker@mu>

	* tests/ResolvedBugs/instantiationJuly2019.maude: added

2019-05-29  Steven Eker  <eker@mu.csl.sri.com>

	* tests/Misc/parameterizedView.maude: added

	* tests/Misc/badView.maude: added

	* tests/ResolvedBugs/viewRecursionMay2019.maude: added

	* tests/ResolvedBugs/polymorphicOverloadMay2019.maude: added

	* tests/ResolvedBugs/parameterTheoryCopyMay2019.maude: added

	* tests/ResolvedBugs/parameterTheoryMay2019.maude: added

	* tests/ResolvedBugs/moduleSumMay2019.maude: added

2019-05-28  Steven Eker  <eker@mu.csl.sri.com>

	* tests/Meta/russianDollsNonFlat2.maude: added

2019-05-24  Steven Eker  <eker@mu.csl.sri.com>

	* tests/Misc/mapToParameterTheory.maude: added

2019-05-03  Steven Eker  <eker@mu.csl.sri.com>

	* tests/Misc/parameterization.maude: summing modules with
	bound parameters is now legal

===================================Maude121===========================================

2018-12-07  Steven Eker  <eker@install.csl.sri.com>

	* tests/Meta/metaIntNewNarrowSearch.maude: added

2018-12-04  Steven Eker  <eker@install.csl.sri.com>

	* tests/Meta/metaIntNewNarrow.maude: added

2018-11-12  Steven Eker  <eker@install.csl.sri.com>

	* tests/Meta/metaIntApply.maude: added

2018-11-09  Steven Eker  <eker@install.csl.sri.com>

	* tests/ResolvedBugs/metaApplyNov2018.maude: added

===================================Maude120===========================================

2018-10-23  Steven Eker  <eker@install.csl.sri.com>

	* tests/ResolvedBugs/physArgIndexOct2018.maude: added

	* tests/Meta/metaIntParse.maude: added

2018-10-22  Steven Eker  <eker@install.csl.sri.com>

	* tests/Meta/metaIntPrint.maude: added

2018-10-15  Steven Eker  <eker@install.csl.sri.com>

	* tests/Meta/metaIntVariantUnify.maude: added

2018-10-11  Steven Eker  <eker@install.csl.sri.com>

	* tests/ResolvedBugs/metaIntMatchOct2018.maude: added

2018-10-10  Steven Eker  <eker@install.csl.sri.com>

	* tests/Meta/metaIntVariant.maude: added

2018-10-09  Steven Eker  <eker@install.csl.sri.com>

	* tests/ResolvedBugs/objectMessageOct2018.maude: added

2018-09-26  Steven Eker  <eker@install.csl.sri.com>

	* tests/Meta/metaIntUnify.maude: added

2018-09-17  Steven Eker  <eker@install.csl.sri.com>

	* tests/Meta/metaIntSort.maude: added tests for
	getMaximalAritySet(); added tests for normalizeTerm()

===================================Maude119===========================================

2018-08-17  Steven Eker  <eker@install.csl.sri.com>

	* tests/Meta/metaIntSort.maude: added

2018-08-13  Steven Eker  <eker@install.csl.sri.com>

	* tests/BuiltIn/string.maude: added tests for upperCase(),
	lowerCase()

2018-08-09  Steven Eker  <eker@install.csl.sri.com>

	* tests/ResolvedBugs/metaIntAscentJune2018.maude: updated
	to new createInterpreter() convention

	* tests/ResolvedBugs/metaIntImportJune2018.maude: updated
	to new createInterpreter() convention

	* tests/ResolvedBugs/metaModuleCacheJune2018.maude: updated
	to new createInterpreter() convention

	* tests/ResolvedBugs/metaIntRewriteJune2018.maude: updated
	to new createInterpreter() convention

	* tests/ResolvedBugs/showModuleJune2018.maude: updated
	to new createInterpreter() convention

	* tests/Meta/metaIntPrelude.maude: updated to new
	createInterpreter() convention

	* tests/Meta/metaIntReplace.maude: updated to new
	createInterpreter() convention

	* tests/Meta/russianDollsFlat.maude: updated to new
	createInterpreter() convention

	* tests/Meta/metaIntReplace2.maude: updated to new
	createInterpreter() convention

	* tests/Meta/russianDollsNonFlat.maude: updated to new
	createInterpreter() convention

	* tests/Meta/metaIntSearch.maude: updated to new
	createInterpreter() convention

	* tests/Meta/metaIntMatch.maude: updated to new
	createInterpreter() convention

2018-08-08  Steven Eker  <eker@install.csl.sri.com>

	* tests/Meta/metaIntMatch.maude: added

	* tests/Meta/metaIntSearch.maude: added

===================================Maude118===========================================

2018-07-20  Rubén Rubio  <rubenrub@ucm.es>

	* test/StrategyLanguage/metalevel.maude: added

	* test/StrategyLanguage/modules.maude: added

	* test/StrategyLanguage/srewrite.maude: added

2018-07-09  Steven Eker  <eker@install.csl.sri.com>

	* tests/Misc/rot13.maude: added

2018-06-28  Steven Eker  <eker@install.csl.sri.com>

	* tests/ResolvedBugs/metaIntRewriteJune2018.maude: added

2018-06-27  Steven Eker  <eker@install.csl.sri.com>

	* tests/ResolvedBugs/clearRulesJune2018.maude: added

	* tests/ResolvedBugs/metaIntAscentJune2018.maude: added

	* tests/ResolvedBugs/metaIntImportJune2018.maude: added

2018-06-26  Steven Eker  <eker@install.csl.sri.com>

	* tests/ResolvedBugs/metaModuleCacheJune2018.maude: added

	* tests/ResolvedBugs/showModuleJune2018.maude: added

2018-06-25  Steven Eker  <eker@install.csl.sri.com>

	* tests/ResolvedBugs/staleViewJune2018.maude: added

	* tests/ResolvedBugs/parserJune2018.maude: added

2018-06-08  Steven Eker  <eker@install.csl.sri.com>

	* tests/Meta/russianDollsFlat.maude: added

	* tests/Meta/russianDollsNonFlat.maude: added

2018-05-22  Steven Eker  <eker@install.csl.sri.com>

	* tests/Meta/metaIntReplace2.maude: added

	* tests/Meta/metaIntReplace.maude: added

	* tests/Meta/metaIntPrelude.maude: added example to test upModule()
	running in meta-interpreter

2018-05-21  Steven Eker  <eker@install.csl.sri.com>

	* tests/Meta/metaIntPrelude.maude: added

2018-05-11  Steven Eker  <eker@install.csl.sri.com>

	* tests/Misc/view.maude: added

2018-03-27  Steven Eker  <eker@install.csl.sri.com>

	* configure.ac: removed references to MSCP10

	* AUTHORS: removed reference to MSCP10

	* tests/Misc/bubble.maude: added two more examples

===================================Maude117===========================================

2018-03-16  Steven Eker  <eker@install.csl.sri.com>

	* configure.ac: remove ref to MSCP10

2018-03-15  Steven Eker  <eker@install.csl.sri.com>

	* src/Makefile.am (SUBDIRS): remove MSCP10

	* tests/Misc/Makefile.am: added parse and bubble tests

	* tests/Misc/bubble (MAUDE_LIB): created

	* tests/Misc/parse.maude: created

	* tests/Misc/parse (MAUDE_LIB): created

2018-02-28  Steven Eker  <eker@install.csl.sri.com>

	* tests/Misc/bubble.maude: created

2017-12-22  Steven Eker  <eker@install.csl.sri.com>

	* tests/Meta/metaWellFormed.maude: fix issue where none is ambiguous;
	it can be (none).EmptyTypeSet or (none).Substitution

===================================Maude116===========================================

2017-07-12  Steven Eker  <eker@install.csl.sri.com>

	* tests/Misc/smtTest.maude: added tests for violations
	of SMT restrictions

2017-06-26  Steven Eker  <eker@install.csl.sri.com>

	* INSTALL: add Yices2 info

2017-06-21  Steven Eker  <eker@install.csl.sri.com>

	* tests/Misc/smtTest (MAUDE_LIB): check for USE_YICES2

2017-06-20  Steven Eker  <eker@install.csl.sri.com>

	* configure.ac (GMP_LIBS): add configuration for Yices2

2017-05-30  Steven Eker  <eker@install.csl.sri.com>

	* tests/Misc/smtTest.maude: move smt continue tests here
	from continue.maude since they shouldn't be run if we don't
	have CVC4 linked

===================================Maude114===========================================

2017-05-26  Steven Eker  <eker@install.csl.sri.com>

	* tests/Meta/metaNarrow.maude: added tests for metaNarrowingSearchPath()

	* tests/Misc/narrow.maude: added tests for fvu-narrow

2017-05-02  Steven Eker  <eker@install.csl.sri.com>

	* tests/Meta/metaNarrow.maude: metaNarrowingApply() no longer
	takes label argument

	* tests/Misc/continue.maude: use narrowing attribute

2017-05-01  Steven Eker  <eker@install.csl.sri.com>

	* tests/Misc/narrow.maude: use narrowing attribute

	* tests/Meta/metaNarrow.maude: use narrowing attribute

===================================Maude113===========================================

2017-04-13  Steven Eker  <eker@install.csl.sri.com>

	* tests/Misc/continue.maude: created

===================================Maude112a===========================================

2017-03-10  Steven Eker  <eker@install.csl.sri.com>

	* tests/Meta/metaNarrow.maude: added metaNarrowingSearch() examples

	* tests/Misc/narrow.maude: created

===================================Maude111b===========================================

2017-01-09  Steven Eker  <eker@install.csl.sri.com>

	* tests/Meta/metaNarrow.maude: added examples

2017-01-06  Steven Eker  <eker@install.csl.sri.com>

	* tests/Meta/metaVariantUnify.maude: fix typo in metaVariantDisjointUnify()

===================================Maude111a===========================================

2016-12-19  Steven Eker  <eker@install.csl.sri.com>

	* tests/Meta/metaNarrow.maude: created

	* tests/Meta/metaNarrow (MAUDE_LIB): created

===================================Maude111===========================================

2016-06-27  Steven Eker  <eker@install.csl.sri.com>

	* tests/Misc/smtTest (MAUDE_LIB): skip test if we don't define USE_CVC4

	* configure.ac: use no argument form of AM_INIT_AUTOMAKE

===================================Maude110b===========================================

2016-05-05  Steven Eker  <eker@install.csl.sri.com>

	* configure.ac: changed bug report address from maude-bugs@maude.cs.uiuc.edu
	to maude-bugs@lists.cs.illinois.edu

===================================Maude110===========================================

2016-02-26  Steven Eker  <eker@install.csl.sri.com>

	* tests/Misc/meseguerFiniteVariant.maude: created

	* tests/Misc/meseguerFiniteVariant: created

===================================Maude109===========================================

2014-11-19  Steven Eker  <eker@ape.csl.sri.com>

	* tests/Misc/assocUnification.maude: added examples to test new capabilities

===================================Maude106===========================================

2014-10-29  Steven Eker  <eker@ape.csl.sri.com>

	* tests/Misc/smtTest.maude: updated with new syntax and examples

===================================Maude105===========================================

2014-08-14  Steven Eker  <eker@ape.csl.sri.com>

	* tests/Misc/smtTest.maude: use new syntax

===================================Maude104===========================================

2014-04-22  Steven Eker  <eker@ape.csl.sri.com>

	* configure.ac: added configuration for CVC4 and POSIX Realtime
	Extensions library (needed by CVC4)

===================================Maude103===========================================

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

	* tests/Misc/assocUnification (MAUDE_LIB): created

	* tests/Misc/assocUnification.maude: created

	* tests/Misc/unification.maude: change assoc to assoc id: in TEST2
	since assoc is now partially supported

===================================Maude102===========================================

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.
