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

	* maude.sty: added \maudeShowSpace

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

	* maude.sty: adjust the spacing around, and hieght of * in
	\maudeRenaming

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

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

	* maude.sty: added \maudeTinySpace; put extra space after ,
	in \maudeComma

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

	* maude.sty: added \maudeToBranch; increased \maudeInterwordSpace to
	0.4em; added \maudeBigSpace and use it for ASCII mode; adjusted space
	in ASCII version of \maudeConstantDecl

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

	* maude.sty: added \maudeNewline; protect against doubled dollar signs
	in \maudeBigString, \maudeBigQid, \maudeBigRaw

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

	* maude.sty: added \maudeBigQid, \maudeBigRaw

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

	* maude.sty: added \maudeBigString

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

	* maude.sty: require seqsplit; added \maudeBigNumber

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

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

	* maude.sty: use \hspace rather than \hskip for \maudeInterwordSpace;
	added \maudeHardSpace

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

	* prelude.maude: added op latex : String -> Attr [ctor]

===================================Maude155===========================================

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

	* metaInterpreter.maude: added printTermToString, printedTermToString
	messages
	printTerm message now takes a conseal symbols argument; added backward
	compatibility symbol

	* prelude.maude:  metaPrettyPrint() now takes a final QidSet argument for
	conceal symbols; added backward compatibility definition

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

	* prelude.maude: added constant with-sorts of sort PrintOption
	in META-LEVEL
	added descent function
	metaPrintToString : Module VariableSet Term PrintOptionSet Qid ~> String

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

	* main.cc (main): Interpreter::PRINT_MIXFIX ->
	PrintSettings::PRINT_MIXFIX


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

	* maude.sty: added \maudeAllowLineBreak and use it for \maudeComma

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

	* model-checker.maude: make _|=_ partial in order to protect
	BOOL

	* prelude.maude: added portal constant to fmod META-MODULE; added
	op-hook portalSymbol to fmod META-LEVEL

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

	* prelude.maude: add portal attribute to <> in mod CONFIGURATION

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

	* prelude.maude: remove format attribute from AttributeSet _,_
	changed format statements for NarrowingApplyResult,
	NarrowingSearchResult, NarrowingSearchPathResult, NarrowingStep
	to put explict space after commas

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

	* maude.sty: added \maudeEllipsis

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

	* maude.sty: use \textnormal{:} for \maudeVariableColon;
	use \mid for \maudeStratUnion
	added ASCII versions for \maudeOneStep, \maudeAtLeastOneStep,
	\maudeAnySteps, \maudeToNormalForm, \maudeIsAssigned
	added ASCII versions for \maudePathWithLabel, \maudePathWithoutLabel
	added ASCII versions for \maudePathLeft, \maudePathRight,
	\maudeArcArrow

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

	* maude.sty: add space before --> for \maudeFunction in ASCII mode;
	added \maudeConstantDecl

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

	* maude.sty: added \maudeTilde

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

	* maude.sty: added ASCII option

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

	* maude.sty: added \maudeRaw, \maudePipe

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

	* maude.sty: added \maudePrefixLabel

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

	* maude.sty: added \maudeIter

===================================Maude153===========================================

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

	* maude.sty: add \maudeUnify

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

	* maude.sty: added \maudeMatch

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

	* maude.sty: added comments to explain maudeShowParagraph
	and maudeResultParagraph

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

	* maude.sty: require tabto package

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

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

	* maude.sty: use longtable, added \maudeBigIndent

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

	* maude.sty: fix \maudeArcArrow

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

	* maude.sty: made pretty using extarrows; added
	\maudeArcArrow

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

	* maude.sty: added \maudePathLeft, \maudePathRight,
	\maudePathWithLabel, \maudePathWithoutLabel

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

	* prelude.maude: added op-hook disjunctionSymbol tp .=.

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

	* maude.sty: change spacing around search arrows; added
	\maudeIsAssigned

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

	* maude.sty: added \maudeOneStep, \maudeAtLeastOneStep,
	\maudeAnySteps, \maudeToNormalForm

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

	* maude.sty: added \endCommand

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

	* maude.sty: add space to \maudeStratUnion and \maudeStratQuery

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

	* maude.sty: added \maudeStratAssign, \maudeStratConcat,
	\maudeStratQuery, \maudeStratColon, \maudeStratBang
	increase space in \maudeStratAt
	increase space in \maudeStratConcat
	added \maudeStratUnion

	* main.cc (printHelp): add -latex-log=<filename>

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

	* maude.sty: added \maudeStratAt

	* prelude.maude: added fmod INITIAL-EQUALITY-PREDICATE

===================================Maude151===========================================

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

	* maude.sty: added \maudeRenaming and \maudeSummation; deleted
	\maudeStructuredConstant

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

	* maude.sty: reorganized with explanations for font choices;
	put \small inside of \textnormal so it works in math mode

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

	* maude.sty: use \small \textnormal for \maudeParameter

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

	* maude.sty: added \maudeBannerIndent; added maudeBanner
	environment; added \maudeNormal

	* main.cc (main): call outputBanner()
	(main): pass seconds to printBanner() and outputBanner()
	(main): pass date and time to printBanner() and outputBanner()
	so we have agreement

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

	* maude.sty: added \maudeStructuredConstant, \maudeDisambigDot

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

	* maude.sty: added \maudeLessThan, \maudeComma
	added \maudeVariableColon
	\maudeParameter -> maudeParameterColon
	use \textsf for \maudeView

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

	* maude.sty: added \maudeEndStatement, \maudeLabel, use hanging
	indent for maudeShowParagraph

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

	* maude.sty: added \maudeLeftBracket, \maudeRightBracket
	added \maudeHasSort, \maudeAssign
	added \maudeLeftBrace, \maudeRightBrace, \maudeIndent
	added \maudeView

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

	* maude.sty: maudeParagraph -> maudeResultParagraph; added
	maudeShowParagraph; added \maudeEquals, \maudeRewritesTo,
	\maudeFunction, \maudePartialFunction, \maudeConjunction

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

	* maude.sty: added \maudeSingleQuote, \maudeBackquote, \maudeQid

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

	* maude.sty: use \small for maudeModule{}
	added \maudeAllowBreak, \maudeSymbolic
	added maudeParagraph environment
	require comment package
	use verbatim package instead of comment package because it defined
	a comment environment with fewer issues
	don't use fancyvrb after all
	added \maudeString{}
	added \maudeLeftParen, \maudeRightParen

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

	* maude.sty: added maudeNumber{}; added \maudeSpace; use fancyvrb
	added maudeSingleChar{}
	added maudeSort{}, maudeModule{}

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

	* maude.sty: require xcolor

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

	* maude.sty: created

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

	* main.cc (main): added -latex-log= command line option

===================================Maude150===========================================

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

	* prng.maude: fixed bug where we had the wrong id-hook; fix hooks
	for deletePrngMsg, deletedPrngMsg

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

	* prng.maude: added deletePrng() and deletedPrng() messages

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

	* prng.maude: created

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

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

	* main.cc (printHelp): document -early-quit=N and make use of adjacent
	string concatenation

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

	* main.cc (main): added -early-quit

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

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

	* prelude.maude: update version number

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

2023-02-22  Steven Eker  <eker@mu.csl.sri.com>

	* term-order.maude: deleted stray lines at the end of the file

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

	* main.cc (main): added -debug flag
	(printHelp): mention debug flag

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

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

	* prelude.maude: added constant pconst to fmod META-MODULE and pconstSymbol
	hook to metaReduce() in fmod META-LEVEL
	added op generated-by to fmod META-MODULE and generatedBySymbol hood to
	metaReduce() in fmod META-LEVEL

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

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

	* prelude.maude: added format attribute to print space after comma for
	_,_ : AttributeSet AttributeSet -> AttributeSet

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

	* prelude.maude: added getClass() projection function to mod CONFIGURATION

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

	* prelude.maude: added special to op <_:_|_>

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

2021-09-21  Steven Eker  <eker@pup>

	* prelude.maude: applied Rubén's patch to make projection functions work for
	parameterized meta-modules

2021-07-20  Steven Eker  <eker2@eker10>

	* prelude.maude: use oo rather than omod

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

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

	* main.cc (printHelp): updated line for -assoc-unif-depth=
	(main): new setDepthBoundMultiplier() convention
	(main): use strtod() rather than stringToDouble()

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

	* main.cc (main): support -assoc-unif-depth=
	(printHelp): added -assoc-unif-depth=

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

	* main.cc (main): added -allow-dir flag
	(printHelp): added -allow-dir flag

2021-04-27  Steven Eker  <eker2@eker10>

	* main.cc (main): call setAllowDir() in -trust case

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

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

	* file.maude: added mod DIRECTORY

2021-04-20  Steven Eker  <eker2@eker10>

	* file.maude: added makeLink()/madeLink() messages; hard, symbolic
	constants, LinkType sort

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

	* file.maude: added cancelGetLine(), canceledGetLine(),
	streamError()

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

	* main.cc (main): always call setAutoWrap() and pass flag

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

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

	* main.cc (printHelp): fixed typo

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

	* time.maude: changed startTimer() time from Nat to NzNat

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

	* time.maude: created

===================================Maude134===========================================

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

	* file.maude: added missing startSymbol op-hook; added
	removeFile()/removedFile()

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

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

	* metaInterpreter.maude: added interpreterExit()

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

	* metaInterpreter.maude: added interpreterError message; added
	hook for stringSymbol

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

	* metaInterpreter.maude: added newProcess ctor

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

	* main.cc (printHelp): fix alignment of -allow-processes

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

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

	* metaInterpreter.maude: getNarrowingSearchResult() and
	getNarrowingSearchResultAndPath() now take VariantOptionSet
	arguments, with a backward compatibility declarations and
	equations

	* prelude.maude: metaNarrowingApply() now takes VariantOptionSet
	argument, with a backward compatibility declaration and equation;
	metaNarrowingSearch() and metaNarrowingSearchPath() now take
	VariantOptionSet arguments, with a backward compatibility
	declarations and equations

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

	* metaInterpreter.maude: getOneStepNarrowing() now takes a
	VariantOptionSet argument, with a backward compatibility
	declaration and equation

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

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

	* metaInterpreter.maude: added
	getVariantMatcher()/gotVariantMatcher() messages

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

	* prelude.maude: added matching problem ctors, noMatchIncomplete,
	metaVariantMatch()

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

	* metaInterpreter.maude: getVariantUnifier() and
	getDisjointVariantUnifier() now take VariantOptionSet as their 7th
	argument; added declarations and equations for backwards compatibility

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

	* prelude.maude: added backward compatibility declarations and
	equations for metaVariantUnify(), metaVariantDisjointUnify();
	added signature for variant options; updated decls for
	metaVariantUnify(), metaVariantDisjointUnify() to take
	VariantOptionSet argument

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

	* metaInterpreter.maude: added getIrredundantUnifier(),
	gotIrredundantUnifier(), getIrredundantDisjointUnifier(),
	gotIrredundantDisjointUnifier()

	* prelude.maude: added metaIrredundantUnify(),
	metaIrredundantDisjointUnify()

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

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

	* main.cc (main): -no-execute becomes -allow-processes
	(main): added flags -allow-files, -trust
	(printHelp): updated with new flags

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

	* main.cc (printHelp): fix tabbing on -no-execute

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

	* main.cc (printHelp): -get-pid -> -show-pid

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

	* process.maude: added sort ExitStatus, ops normalExit,
	terminatedBySignal; use ExitStatus for exited message; don't
	protect INT, don't have hook for minusSymbol

	* main.cc (main): added -no-execute flag
	(printHelp): added -no-execute flag

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

	* process.maude: added op-hook for minusSymbol; protecting INT

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

	* process.maude: added signaledProcess() and waitForExit()
	messages

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

	* process.maude: added sorts ProcessOption, ProcessOptionSet;
	createProcess now takes ProcessOptionSet rather than 2nd
	StringList for environment; added none

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

	* process.maude: added fmod STRING-LIST; use STRING-LIST in
	PROCESS; added nilStringListSymbol and stringListSymbol hooks

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

	* process.maude: added hook for socketManagerSymbol

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

	* process.maude: updated to reflect move to sockets for
	communication

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

	* process.maude: created

2020-03-10  Rubén Rubio  <rubenrub@ucm.es>

       * prelude.maude: changed sort of the strategy all to RuleApplication

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

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

	* prelude.maude: added projection functions for UnificationTriple,
	Variant and TraceStep

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

	* prelude.maude: added projection functions for UnificationPair;
	added applySubstitution()

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

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

	* prelude.maude: revert to Qid < Header pending further
	discussion of the metasyntax

===================================Maude126===========================================

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

	* main.cc (printHelp): added -erewrite-loop-mode
	(main): handle -erewrite-loop-mode

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

	* prelude.maude: metaSrewrite takes a SrewriteOption and
	metaDsrewrite is removed. metaParseStrategy and
	and metaPrettyPrintStrategy receive a VariableSet.

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

	* prelude.maude: renaming from VarStratPair to UsingPair,
	VarStratList to UsingPairSet (and added equation), BasicStrategy
	to RuleApplication, _(_) to _[[_]], metaSRewrite to metaSrewrite,
	metaDSRewrite to metaDsrewrite, metaStratParse to metaParseStrategy,
	and metaStratPrettyPrint to metaPrettyPrintStrategy. Added precedence
	21 to rule application symbol. Changed equation for [_] : Qid -> Module
	operator to support strategy modules. Added upStratDecls and upSds.

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

	* metaInterpreter.maude: parsedQidList()/parsedQidList() ->
	parseTerm()/parsedTerm()

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

	* metaInterpreter.maude: printTerm()/parseQidList() now take
	VariableSet arg for variables that can be abbreviated

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

	* prelude.maude: added sort SrewriteOption and ops breadthFirst,
	depthFirst

	* metaInterpreter.maude: srewriteTerm now takes an SrewriteOption
	argument

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

	* metaInterpreter.maude: added decls for srewriteTerm/srewroteTerm

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

	* prelude.maude:  metaPrettyPrint() now takes 4 arguments; added
	backward compatibility version

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

	* prelude.maude: changed emptyQidSetSymbol from empty to
	none; fixed qidSetSymbol hook symbol and range

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

	* prelude.maude: rearrange subsort declarations to avoid
	a redundant NeQidSet < QidSet

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

	* prelude.maude: EmptyTypeSet -> EmptyQidSet
	Added decls for variable sets

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

	* prelude.maude: get rid of unificationPairSymbol hook; we're
	going to merge the operator with matchPairSymbol because they
	are subsort overloaded; fix new unificaton pair op so that Qid
	is second argument; add sort MatchOrUnificationPair and
	subsort MatchPair UnificationPair < MatchOrUnificationPair

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

	* prelude.maude: use legacyMetaUnify, legacyMetaDisjointUnify
	for deprecated versions

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

	* prelude.maude: added op-hooks legacyUnificationPairSymbol,
	legacyUnificationTripleSymbol, legacyVariantSymbol

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

	* prelude.maude: new variable family based ctors for
	UnificationPair, UnificationTriple, Variant and descent
	functions metaUnify(), metaDisjointUnify(), metaGetVariant(),
	metaGetIrredundantVariant(), metaVariantUnify(),
	metaVariantDisjointUnify()

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

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

	* prelude.maude: conditions of tests and matchrews are now
	EqCondition instead of Condition. Added a new parameter to
	metaStratParse. to-expr changed to to expr (without hyphen).

2019-09-19  Rubén Rubio  <rubenrub@ucm.es>

	* prelude.maude: getStratDefs renamed to getSds,
	make matchrew's using pair list associative and commutative

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

	* prelude.maude: revert to renaming after instantiating
	after parameter for WEAKLY-SORTABLE-LIST, SORTABLE-LIST
	WEAKLY-SORTABLE-LIST', SORTABLE-LIST', SORTABLE-LIST-AND-SET,
	SORTABLE-LIST-AND-SET'

2019-04-11  Steven Eker  <eker@mu.csl.sri.com>

	* prelude.maude: added parameterized views: List,
	WeaklySortableList, SortableList, WeaklySortableList',
	SortableList', Set, List*, Set*, Map, Array

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

	* prelude.maude: rename before instantiating by parameter
	in fmod WEAKLY-SORTABLE-LIST, fmod SORTABLE-LIST,
	fmod WEAKLY-SORTABLE-LIST', fmod SORTABLE-LIST',
	fmod SORTABLE-LIST-AND-SET, fmod SORTABLE-LIST-AND-SET'

2019-02-15  Steven Eker  <eker@mu.csl.sri.com>

	* prelude.maude: reorganized view and module expressions
	to fix pre-regularity issues
	deleted viewInstantiationSymbol
	require NeParameterList for view and module instantiations

2019-02-14  Steven Eker  <eker@mu.csl.sri.com>

	* prelude.maude: added sort ViewExpression and operator
	 _{_} : ViewExpression ParameterList -> ViewExpression
	handle view with parameter decl lists in getName()
	projection function

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

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

	* prelude.maude: added 'all' strategy to META-STRATEGY, and
	metaStratParse, metaStratPrettyPrint, and metaDSRewrite to
	META-LEVEL. metaSRewrite signature has changed to match similar
	functions. Now, it receives a solution index instead of returning
	a set. Removed sort ResultSet.

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

	* metaInterpreter.maude: added
	getNarrowingSearchResult/gotNarrowingSearchResult,
	getNarrowingSearchResultAndPath/gotNarrowingSearchResultAndPath

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

	* metaInterpreter.maude: getOneStepNarrow/gotOneStepNarrow ->
	getOneStepNarrowing/gotOneStepNarrowing

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

	* metaInterpreter.maude: changed narrowWithRule/narrowedWithRule
	to getOneStepNarrow/gotOneStepNarrow since we're not passing
	the label of a specific rule

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

	* metaInterpreter.maude: added narrowWithRule, narrowedWithRule

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

	* metaInterpreter.maude: make interpreter a ctor

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

	* metaInterpreter.maude: added applyRule/appliedRule (2
	overloaded versions)

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

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

	* metaInterpreter.maude: added parseQidList/parsedQidList

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

	* metaInterpreter.maude: added printTerm/printedTerm

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

	* metaInterpreter.maude: added gotVariantUnifier,
	gotDisjointVariantUnifier

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

	* metaInterpreter.maude: added getDisjointVariantUnifier,
	getVariantUnifier

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

	* metaInterpreter.maude: added RewriteCount to gotVariant

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

	* metaInterpreter.maude: added getVariant/gotVariant,
	noSuchResult (4 arg version)

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

	* metaInterpreter.maude: added getUnifier/gotUnifier,
	getDisjointUnifier/gotDisjointUnifier, noSuchResult (Bool version)

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

	* metaInterpreter.maude: added normlizeTerm/normalizedTerm

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

	* metaInterpreter.maude: added getMaximalAritySet/gotMaximalAritySet

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

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

	* metaInterpreter.maude: added getKind/gotKind,
	getKinds/gotKinds
	added getGlbTypes/gotGlbTypes

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

	* metaInterpreter.maude: added compareTypes/comparedTypes
	deleted op-hook succSymbol

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

	* metaInterpreter.maude: added getLesserSorts/gotLesserSorts,
	getMaximalSorts/gotMaximalSorts, getMinimalSorts/gotMinimalSorts

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

	* prelude.maude: added upperCase(), lowerCase()

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

	* metaInterpreter.maude: added sorts InterpreterOption
	InterpreterOptionSet, and constant none; createInterpreter()
	now takes InterpreterOptionSet argument

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

	* metaInterpreter.maude: added getXmatch/gotXmatch

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

	* metaInterpreter.maude: added getMatch/gotMatch

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

	* metaInterpreter.maude: added getSearchResultAndPathMsg,
	gotSearchResultAndPathMsg

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

	* metaInterpreter.maude: updated decl for gotSearchResult()

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

	* main.cc (printHelp): add -show-pid
	(main): add -show-pid

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

	* metaInterpreter.maude: added getSearchResult() and
	gotSearchResult() messages
	added noSuchResultMsg() message

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

	* metaInterpreter.maude: use Type rather than Sort for return
	messages

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

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

	* metaInterpreter.maude: added messages erewriteTerm()
	and erewroteTerm()

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

	* metaInterpreter.maude: added messages showView() and
	showingView()

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

	* metaInterpreter.maude: added messages insertView() and
	insertedView()

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

2018-04-29  Rubén Rubio  <rubenrub@ucm.es>

	* prelude.maude: added strategy renamings for module expressions
	and strategy mappings to metaviews. Changed -> to ~> in metaSRewrite

2018-04-10  Rubén Rubio  <rubenrub@ucm.es>

	* prelude.maude: added 'one' strategy to META-STRATEGY

2018-03-23  Rubén Rubio  <rubenrub@ucm.es>

	* prelude.maude: added fmod META-STRATEGY, moved metaconditions to
	META-CONDITION. Added strategy modules syntax and hooks, and metaSRewrite
	operator to META-LEVEL.

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

	* Makefile.am (maude_LDADD): remove refs to MSCP10

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

	* main.cc (main): call setUsePromptsAnyway() in
	forceInteractive case

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

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

	* prelude.maude: fmod LEXICAL: print -> printTokens to
	avoid confusion with print attribute in META-LEVEL

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

	* prelude.maude: added fmod LEXICAL

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

	* main.cc (main): call setUsePromptsAnyway() if our input
	is from a terminal

	* file.maude: deleted stdin, stdout, stderr from mod FILE

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

	* file.maude: don't use BOUND, added mod COMMON-MESSAGES
	added mod STD-STREAM

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

	* file.maude: added op-hooks for stdin, stdout, stderr

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

	* file.maude: added op-hooks for start, current, end,
	minusSymbol

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

	* file.maude: created

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

	* prelude.maude: added fmod BOUND; use it in fmod META-LEVEL

===================================Maude115===========================================

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

	* smt.maude: removed comment about _divisible_ breaking CVC4
	now we've made it bulletproof

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

	* Makefile.am (maude_LDADD): move $(YICES2_LIB) before tecla in
	the hope that tecla won't be able to access its symbols

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

	* Makefile.am (maude_LDADD): delete $(DLMALLOC_LIB) form link line;
	move $(YICES2_LIB) to the end

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

	* Makefile.am (maude_LDADD): added YICE2_LIB

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

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

	* prelude.maude: update syntax for metaNarrowingApply() return values;
	reverted to {} for results; updated formatting; added projection
	functions for new constructors

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

	* prelude.maude: updated format attribute for assignment, and narrowing
	results

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

	* prelude.maude: added 6 operators and 4 sorts to support narrowing
	search path results; added metaNarrowingSearchPath() descent function

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

	* prelude.maude: updated decl for metaNarrowingSearch(),
	NarrowingSearchResult ctor

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

	* prelude.maude: remove the 1st Qid argument from metaNarrowingApply()

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

	* prelude.maude: added narrowing attribute to META-LEVEL

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

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

	* prelude.maude: changed order of parameters in NarrowingSearchResult
	ctor to avoid ambiguity

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

	* prelude.maude: added projection functions for NarrowingSearchResult

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

	* prelude.maude: revert to NarrowingSearchResult, but this time use a
	5 tuple to avoid a kind clash

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

	* prelude.maude: added sorts NarrowingSearchResult, NarrowingSearchResult?;
	ctors {_,_,_,_}, failure, failureIncomplete, descent function
	metaNarrowingSearch()
	Use Result4Tuple in place of NarrowingSearchResult

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

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

	* prelude.maude: added projection functions for NarrowingResult

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

	* prelude.maude: added failureIncomplete for ResultTriple?

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

	* prelude.maude: switched args for NarrowingResult ctor
	added format for {_,_,_,_,_,_}

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

	* prelude.maude: added decls for metaNarrowingApply(); sorts NarrowingResult
	and NarrowingResult?, ctors failure, failureIncomplete and {_,_,_,_,_,_}

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

	* smt.maude: don't set include BOOLEAN on because it
	causes problems for modules that aren't expecting it.

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

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

	* main.cc (main): added -print-to-stderr flag
	(printHelp): fix format in -always-advise line

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

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

	* prelude.maude: update variant ctor; added Parent sort with
	none ctor

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

2015-12-23  Steven Eker  <eker@ape.csl.sri.com>

	* main.cc (main): add a tie between cout and cerr so streams don't
	get out of sync on orion

===================================Maude108a===========================================

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

	* prelude.maude: added constant noVariantIncomplete

2015-07-23  Steven Eker  <eker@ape.csl.sri.com>

	* prelude.maude: added two constants noUnifierIncomplete

===================================Maude108===========================================

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

	* prelude.maude: updated decls for metaSmtSearch() and SmtResult ctor

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

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

	* prelude.maude: added syntax for metaSmtSearch and its constructors

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

	* smt.maude: updated =/== and === hook syntax; commented out
	divisible breaks of CVC4 breakage

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

	* smt.maude: don't include BOOL; include BOOLEAN; use === and =/==
	in place of = and !=; use true and false in place of tt and ff

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

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

	* prelude.maude: added metaCheck()

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

	* smt.maude: added modules INTEGER, REAL and REAL-INTEGER

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

	* Makefile.am (maude_LDADD): link in CVC4_LIB

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

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

	* prelude.maude: added metaGetIrredundantVariant()

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

	* main.cc (main): added -always-advise
	(printHelp): added -always-advise

===================================Maude101===========================================

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

	* main.cc (main): removed commented out code

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

	* prelude.maude: version number = 2.7

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

	* Makefile.am: moved mention of dlmalloc

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

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

	* prelude.maude: updated declarations for metaVariantUnify() and
	metaVariantDisjointUnify()

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

	* prelude.maude: metaGenerateVariant() replaced by
	metaGetVariant(); Term and Substitution arguments switched in meta
	variant ctor; added hood for emptyTermListSymbol

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

2012-05-03  Steven Eker  <eker@ape.csl.sri.com>

	* prelude.maude: added meta representation of variant attribute

2012-03-28  Steven Eker  <eker@ape.csl.sri.com>

	* prelude.maude: fix arity for metaGenerateVariant()

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

	* prelude.maude: added variant narrowing syntax and descent functions

===================================Maude96===========================================

2010-07-13  Steven Eker  <eker@rho>

	* metaInterpreter.maude: added insertView/insertedView and
	showView/showingView

===================================Maude94a===========================================

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

	* prelude.maude: split of Boolean operations into BOOL-OPS

===================================Maude93d2===========================================

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

	* prelude.maude: added projection functions for meta-views

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

	* prelude.maude: op mappings don't take AttrSets

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

	* prelude.maude: added upView()

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

	* prelude.maude: added fmod META-VIEW

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

	* metaIntepreter.maude: added showModule/showingModule messages

2008-12-22  Steven Eker  <eker@goo.csl.sri.com>

	* prelude.maude: added TermQid to fix lub problem - Variable and
	Constant had multiple minimal upper bounds

===================================Maude92===========================================

2008-08-26  Steven Eker  <eker@goo.csl.sri.com>

	* prelude.maude: added operator for print attribute

2008-01-22  Steven Eker  <eker@goo.csl.sri.com>

	* prelude.maude: added Bool arg to the XG specific version of
	metaNarrow

===================================Maude90===========================================

2007-12-04  Steven Eker  <eker@goo.csl.sri.com>

	* prelude.maude: added a failure operator for ResultPair?
	added 5 arg version of metaNarrow

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

	* prelude.maude: metaXunify()/metaDisjointXunify() deleted;
	metaNarrow() added

===================================Maude89h===========================================

2007-06-27  Steven Eker  <eker@goo.csl.sri.com>

	* prelude.maude: added metaXunify(), metaDisjointXunify() and
	associated declarations

2007-06-19  Steven Eker  <eker@goo.csl.sri.com>

	* prelude.maude: add UnificationProblem constructors; use for
	metaUnify() and metaDisjointUnify()

2007-06-14  Steven Eker  <eker@goo.csl.sri.com>

	* prelude.maude: added UnificationPair and ctors; updated decl for
	metaUnify()

2007-06-07  Steven Eker  <eker@goo.csl.sri.com>

	* prelude.maude: added UnificationTriple and ctors

===================================Maude89c===========================================

2007-03-14  Steven Eker  <eker@goo.csl.sri.com>

	* main.cc (main): call checkForPending() if the -no-prelude flag
	given since we won't hit a top level EOF to check for them
	otherwise; this fixes a bug where we were ignoring command line
	files if -no-prelude flag given

2007-01-17  Steven Eker  <eker@goo.csl.sri.com>

	* prelude.maude: moved set include BOOL on to after last module;
	added syntax for metaUnify()

===================================Maude88d===========================================

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

	* prelude.maude: rm getHeader() since this doesn't make sense with
	theories

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

	* prelude.maude: added getHeader() and redefined getName();
	modified other projection functions so that they work with
	parameterized modules

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

	* prelude.maude: added min() and max() for Float

===================================Maude88c===========================================

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

	* model-checker.maude: change protecting to including for
	SATISFACTION and LTL in MODEL-CHECKER

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

	* model-checker.maude: many minor changes recommended by Jose

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

	* model-checker.maude: changed importation modes

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

	* socket.maude: minor clean up

	* machine-int.maude: minor clean up

	* linear.maude: minor clean up

	* model-checker.maude: changed some importation modes

	* prelude.maude: added protecting BOOL to a number of modules; use
	set include BOOL on/off

===================================Maude88b===========================================

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

	* main.cc: moved here and cleaned up

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