From 565d189afe8465687901a80eb84929483b90113f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Sylvain=20Hall=C3=A9?= <shalle@acm.org>
Date: Mon, 25 Jan 2021 08:49:42 -0500
Subject: [PATCH] Renamed doc to docs

---
 {doc => docs}/jsdoc/AbstractFunction.html           |   0
 {doc => docs}/jsdoc/Addition.html                   |   0
 {doc => docs}/jsdoc/All.html                        |   0
 {doc => docs}/jsdoc/AndNode.html                    |   0
 {doc => docs}/jsdoc/Argument.html                   |   0
 {doc => docs}/jsdoc/ArgumentValue.html              |   0
 {doc => docs}/jsdoc/AtomicFunction.html             |   0
 {doc => docs}/jsdoc/AtomicFunctionReturnValue.html  |   0
 {doc => docs}/jsdoc/BooleanAnd.html                 |   0
 {doc => docs}/jsdoc/BooleanConnective.html          |   0
 {doc => docs}/jsdoc/BooleanNot.html                 |   0
 {doc => docs}/jsdoc/BooleanOr.html                  |   0
 {doc => docs}/jsdoc/ComposedFunction.html           |   0
 {doc => docs}/jsdoc/ComposedFunctionValue.html      |   0
 {doc => docs}/jsdoc/CompoundDesignator.html         |   0
 {doc => docs}/jsdoc/ConstantDesignator.html         |   0
 {doc => docs}/jsdoc/ConstantFunction.html           |   0
 {doc => docs}/jsdoc/ConstantValue.html              |   0
 {doc => docs}/jsdoc/DesignatedObject.html           |   0
 {doc => docs}/jsdoc/Designator.html                 |   0
 {doc => docs}/jsdoc/DimensionHeight.html            |   0
 {doc => docs}/jsdoc/DimensionWidth.html             |   0
 {doc => docs}/jsdoc/ElementAttribute.html           |   0
 {doc => docs}/jsdoc/ElementAttributeValue.html      |   0
 {doc => docs}/jsdoc/ExistentialQuantifier.html      |   0
 {doc => docs}/jsdoc/Explainer.html                  |   0
 {doc => docs}/jsdoc/FindBySelector.html             |   0
 {doc => docs}/jsdoc/FunctionNamedArgument.html      |   0
 {doc => docs}/jsdoc/GreaterOrEqual.html             |   0
 {doc => docs}/jsdoc/GreaterThan.html                |   0
 {doc => docs}/jsdoc/Identity.html                   |   0
 {doc => docs}/jsdoc/InputArgument.html              |   0
 {doc => docs}/jsdoc/IsEqualTo.html                  |   0
 {doc => docs}/jsdoc/NamedArgument.html              |   0
 {doc => docs}/jsdoc/NaryConjunctiveVerdict.html     |   0
 {doc => docs}/jsdoc/NaryDisjunctiveVerdict.html     |   0
 {doc => docs}/jsdoc/NaryValue.html                  |   0
 {doc => docs}/jsdoc/Nothing.html                    |   0
 {doc => docs}/jsdoc/ObjectNode.html                 |   0
 {doc => docs}/jsdoc/OrNode.html                     |   0
 {doc => docs}/jsdoc/Path.html                       |   0
 {doc => docs}/jsdoc/Quantifier.html                 |   0
 .../jsdoc/QuantifierConjunctiveVerdict.html         |   0
 .../jsdoc/QuantifierDisjunctiveVerdict.html         |   0
 {doc => docs}/jsdoc/QuantifierVerdict.html          |   0
 {doc => docs}/jsdoc/ReturnValue.html                |   0
 {doc => docs}/jsdoc/TraceabilityNode.html           |   0
 {doc => docs}/jsdoc/Tracer.html                     |   0
 {doc => docs}/jsdoc/UniversalQuantifier.html        |   0
 {doc => docs}/jsdoc/Unknown.html                    |   0
 {doc => docs}/jsdoc/UnknownNode.html                |   0
 {doc => docs}/jsdoc/Value.html                      |   0
 {doc => docs}/jsdoc/Verdict.html                    |   0
 {doc => docs}/jsdoc/fonts/OpenSans-Bold-webfont.eot | Bin
 {doc => docs}/jsdoc/fonts/OpenSans-Bold-webfont.svg |   0
 .../jsdoc/fonts/OpenSans-Bold-webfont.woff          | Bin
 .../jsdoc/fonts/OpenSans-BoldItalic-webfont.eot     | Bin
 .../jsdoc/fonts/OpenSans-BoldItalic-webfont.svg     |   0
 .../jsdoc/fonts/OpenSans-BoldItalic-webfont.woff    | Bin
 .../jsdoc/fonts/OpenSans-Italic-webfont.eot         | Bin
 .../jsdoc/fonts/OpenSans-Italic-webfont.svg         |   0
 .../jsdoc/fonts/OpenSans-Italic-webfont.woff        | Bin
 .../jsdoc/fonts/OpenSans-Light-webfont.eot          | Bin
 .../jsdoc/fonts/OpenSans-Light-webfont.svg          |   0
 .../jsdoc/fonts/OpenSans-Light-webfont.woff         | Bin
 .../jsdoc/fonts/OpenSans-LightItalic-webfont.eot    | Bin
 .../jsdoc/fonts/OpenSans-LightItalic-webfont.svg    |   0
 .../jsdoc/fonts/OpenSans-LightItalic-webfont.woff   | Bin
 .../jsdoc/fonts/OpenSans-Regular-webfont.eot        | Bin
 .../jsdoc/fonts/OpenSans-Regular-webfont.svg        |   0
 .../jsdoc/fonts/OpenSans-Regular-webfont.woff       | Bin
 {doc => docs}/jsdoc/global.html                     |   0
 {doc => docs}/jsdoc/index.html                      |   0
 {doc => docs}/jsdoc/index.mjs.html                  |   0
 .../jsdoc/modules_atomic-function.mjs.html          |   0
 {doc => docs}/jsdoc/modules_booleans.mjs.html       |   0
 .../jsdoc/modules_composed-function.mjs.html        |   0
 {doc => docs}/jsdoc/modules_designator.mjs.html     |   0
 {doc => docs}/jsdoc/modules_function.mjs.html       |   0
 {doc => docs}/jsdoc/modules_numbers.mjs.html        |   0
 {doc => docs}/jsdoc/modules_quantifier.mjs.html     |   0
 {doc => docs}/jsdoc/modules_tracer.mjs.html         |   0
 {doc => docs}/jsdoc/modules_util.mjs.html           |   0
 {doc => docs}/jsdoc/modules_value.mjs.html          |   0
 {doc => docs}/jsdoc/modules_verdict.mjs.html        |   0
 {doc => docs}/jsdoc/modules_web-element.mjs.html    |   0
 {doc => docs}/jsdoc/scripts/linenumber.js           |   0
 .../jsdoc/scripts/prettify/Apache-License-2.0.txt   |   0
 {doc => docs}/jsdoc/scripts/prettify/lang-css.js    |   0
 {doc => docs}/jsdoc/scripts/prettify/prettify.js    |   0
 {doc => docs}/jsdoc/styles/jsdoc-default.css        |   0
 {doc => docs}/jsdoc/styles/prettify-jsdoc.css       |   0
 {doc => docs}/jsdoc/styles/prettify-tomorrow.css    |   0
 jsdoc.conf.json                                     |   2 +-
 94 files changed, 1 insertion(+), 1 deletion(-)
 rename {doc => docs}/jsdoc/AbstractFunction.html (100%)
 rename {doc => docs}/jsdoc/Addition.html (100%)
 rename {doc => docs}/jsdoc/All.html (100%)
 rename {doc => docs}/jsdoc/AndNode.html (100%)
 rename {doc => docs}/jsdoc/Argument.html (100%)
 rename {doc => docs}/jsdoc/ArgumentValue.html (100%)
 rename {doc => docs}/jsdoc/AtomicFunction.html (100%)
 rename {doc => docs}/jsdoc/AtomicFunctionReturnValue.html (100%)
 rename {doc => docs}/jsdoc/BooleanAnd.html (100%)
 rename {doc => docs}/jsdoc/BooleanConnective.html (100%)
 rename {doc => docs}/jsdoc/BooleanNot.html (100%)
 rename {doc => docs}/jsdoc/BooleanOr.html (100%)
 rename {doc => docs}/jsdoc/ComposedFunction.html (100%)
 rename {doc => docs}/jsdoc/ComposedFunctionValue.html (100%)
 rename {doc => docs}/jsdoc/CompoundDesignator.html (100%)
 rename {doc => docs}/jsdoc/ConstantDesignator.html (100%)
 rename {doc => docs}/jsdoc/ConstantFunction.html (100%)
 rename {doc => docs}/jsdoc/ConstantValue.html (100%)
 rename {doc => docs}/jsdoc/DesignatedObject.html (100%)
 rename {doc => docs}/jsdoc/Designator.html (100%)
 rename {doc => docs}/jsdoc/DimensionHeight.html (100%)
 rename {doc => docs}/jsdoc/DimensionWidth.html (100%)
 rename {doc => docs}/jsdoc/ElementAttribute.html (100%)
 rename {doc => docs}/jsdoc/ElementAttributeValue.html (100%)
 rename {doc => docs}/jsdoc/ExistentialQuantifier.html (100%)
 rename {doc => docs}/jsdoc/Explainer.html (100%)
 rename {doc => docs}/jsdoc/FindBySelector.html (100%)
 rename {doc => docs}/jsdoc/FunctionNamedArgument.html (100%)
 rename {doc => docs}/jsdoc/GreaterOrEqual.html (100%)
 rename {doc => docs}/jsdoc/GreaterThan.html (100%)
 rename {doc => docs}/jsdoc/Identity.html (100%)
 rename {doc => docs}/jsdoc/InputArgument.html (100%)
 rename {doc => docs}/jsdoc/IsEqualTo.html (100%)
 rename {doc => docs}/jsdoc/NamedArgument.html (100%)
 rename {doc => docs}/jsdoc/NaryConjunctiveVerdict.html (100%)
 rename {doc => docs}/jsdoc/NaryDisjunctiveVerdict.html (100%)
 rename {doc => docs}/jsdoc/NaryValue.html (100%)
 rename {doc => docs}/jsdoc/Nothing.html (100%)
 rename {doc => docs}/jsdoc/ObjectNode.html (100%)
 rename {doc => docs}/jsdoc/OrNode.html (100%)
 rename {doc => docs}/jsdoc/Path.html (100%)
 rename {doc => docs}/jsdoc/Quantifier.html (100%)
 rename {doc => docs}/jsdoc/QuantifierConjunctiveVerdict.html (100%)
 rename {doc => docs}/jsdoc/QuantifierDisjunctiveVerdict.html (100%)
 rename {doc => docs}/jsdoc/QuantifierVerdict.html (100%)
 rename {doc => docs}/jsdoc/ReturnValue.html (100%)
 rename {doc => docs}/jsdoc/TraceabilityNode.html (100%)
 rename {doc => docs}/jsdoc/Tracer.html (100%)
 rename {doc => docs}/jsdoc/UniversalQuantifier.html (100%)
 rename {doc => docs}/jsdoc/Unknown.html (100%)
 rename {doc => docs}/jsdoc/UnknownNode.html (100%)
 rename {doc => docs}/jsdoc/Value.html (100%)
 rename {doc => docs}/jsdoc/Verdict.html (100%)
 rename {doc => docs}/jsdoc/fonts/OpenSans-Bold-webfont.eot (100%)
 rename {doc => docs}/jsdoc/fonts/OpenSans-Bold-webfont.svg (100%)
 rename {doc => docs}/jsdoc/fonts/OpenSans-Bold-webfont.woff (100%)
 rename {doc => docs}/jsdoc/fonts/OpenSans-BoldItalic-webfont.eot (100%)
 rename {doc => docs}/jsdoc/fonts/OpenSans-BoldItalic-webfont.svg (100%)
 rename {doc => docs}/jsdoc/fonts/OpenSans-BoldItalic-webfont.woff (100%)
 rename {doc => docs}/jsdoc/fonts/OpenSans-Italic-webfont.eot (100%)
 rename {doc => docs}/jsdoc/fonts/OpenSans-Italic-webfont.svg (100%)
 rename {doc => docs}/jsdoc/fonts/OpenSans-Italic-webfont.woff (100%)
 rename {doc => docs}/jsdoc/fonts/OpenSans-Light-webfont.eot (100%)
 rename {doc => docs}/jsdoc/fonts/OpenSans-Light-webfont.svg (100%)
 rename {doc => docs}/jsdoc/fonts/OpenSans-Light-webfont.woff (100%)
 rename {doc => docs}/jsdoc/fonts/OpenSans-LightItalic-webfont.eot (100%)
 rename {doc => docs}/jsdoc/fonts/OpenSans-LightItalic-webfont.svg (100%)
 rename {doc => docs}/jsdoc/fonts/OpenSans-LightItalic-webfont.woff (100%)
 rename {doc => docs}/jsdoc/fonts/OpenSans-Regular-webfont.eot (100%)
 rename {doc => docs}/jsdoc/fonts/OpenSans-Regular-webfont.svg (100%)
 rename {doc => docs}/jsdoc/fonts/OpenSans-Regular-webfont.woff (100%)
 rename {doc => docs}/jsdoc/global.html (100%)
 rename {doc => docs}/jsdoc/index.html (100%)
 rename {doc => docs}/jsdoc/index.mjs.html (100%)
 rename {doc => docs}/jsdoc/modules_atomic-function.mjs.html (100%)
 rename {doc => docs}/jsdoc/modules_booleans.mjs.html (100%)
 rename {doc => docs}/jsdoc/modules_composed-function.mjs.html (100%)
 rename {doc => docs}/jsdoc/modules_designator.mjs.html (100%)
 rename {doc => docs}/jsdoc/modules_function.mjs.html (100%)
 rename {doc => docs}/jsdoc/modules_numbers.mjs.html (100%)
 rename {doc => docs}/jsdoc/modules_quantifier.mjs.html (100%)
 rename {doc => docs}/jsdoc/modules_tracer.mjs.html (100%)
 rename {doc => docs}/jsdoc/modules_util.mjs.html (100%)
 rename {doc => docs}/jsdoc/modules_value.mjs.html (100%)
 rename {doc => docs}/jsdoc/modules_verdict.mjs.html (100%)
 rename {doc => docs}/jsdoc/modules_web-element.mjs.html (100%)
 rename {doc => docs}/jsdoc/scripts/linenumber.js (100%)
 rename {doc => docs}/jsdoc/scripts/prettify/Apache-License-2.0.txt (100%)
 rename {doc => docs}/jsdoc/scripts/prettify/lang-css.js (100%)
 rename {doc => docs}/jsdoc/scripts/prettify/prettify.js (100%)
 rename {doc => docs}/jsdoc/styles/jsdoc-default.css (100%)
 rename {doc => docs}/jsdoc/styles/prettify-jsdoc.css (100%)
 rename {doc => docs}/jsdoc/styles/prettify-tomorrow.css (100%)

diff --git a/doc/jsdoc/AbstractFunction.html b/docs/jsdoc/AbstractFunction.html
similarity index 100%
rename from doc/jsdoc/AbstractFunction.html
rename to docs/jsdoc/AbstractFunction.html
diff --git a/doc/jsdoc/Addition.html b/docs/jsdoc/Addition.html
similarity index 100%
rename from doc/jsdoc/Addition.html
rename to docs/jsdoc/Addition.html
diff --git a/doc/jsdoc/All.html b/docs/jsdoc/All.html
similarity index 100%
rename from doc/jsdoc/All.html
rename to docs/jsdoc/All.html
diff --git a/doc/jsdoc/AndNode.html b/docs/jsdoc/AndNode.html
similarity index 100%
rename from doc/jsdoc/AndNode.html
rename to docs/jsdoc/AndNode.html
diff --git a/doc/jsdoc/Argument.html b/docs/jsdoc/Argument.html
similarity index 100%
rename from doc/jsdoc/Argument.html
rename to docs/jsdoc/Argument.html
diff --git a/doc/jsdoc/ArgumentValue.html b/docs/jsdoc/ArgumentValue.html
similarity index 100%
rename from doc/jsdoc/ArgumentValue.html
rename to docs/jsdoc/ArgumentValue.html
diff --git a/doc/jsdoc/AtomicFunction.html b/docs/jsdoc/AtomicFunction.html
similarity index 100%
rename from doc/jsdoc/AtomicFunction.html
rename to docs/jsdoc/AtomicFunction.html
diff --git a/doc/jsdoc/AtomicFunctionReturnValue.html b/docs/jsdoc/AtomicFunctionReturnValue.html
similarity index 100%
rename from doc/jsdoc/AtomicFunctionReturnValue.html
rename to docs/jsdoc/AtomicFunctionReturnValue.html
diff --git a/doc/jsdoc/BooleanAnd.html b/docs/jsdoc/BooleanAnd.html
similarity index 100%
rename from doc/jsdoc/BooleanAnd.html
rename to docs/jsdoc/BooleanAnd.html
diff --git a/doc/jsdoc/BooleanConnective.html b/docs/jsdoc/BooleanConnective.html
similarity index 100%
rename from doc/jsdoc/BooleanConnective.html
rename to docs/jsdoc/BooleanConnective.html
diff --git a/doc/jsdoc/BooleanNot.html b/docs/jsdoc/BooleanNot.html
similarity index 100%
rename from doc/jsdoc/BooleanNot.html
rename to docs/jsdoc/BooleanNot.html
diff --git a/doc/jsdoc/BooleanOr.html b/docs/jsdoc/BooleanOr.html
similarity index 100%
rename from doc/jsdoc/BooleanOr.html
rename to docs/jsdoc/BooleanOr.html
diff --git a/doc/jsdoc/ComposedFunction.html b/docs/jsdoc/ComposedFunction.html
similarity index 100%
rename from doc/jsdoc/ComposedFunction.html
rename to docs/jsdoc/ComposedFunction.html
diff --git a/doc/jsdoc/ComposedFunctionValue.html b/docs/jsdoc/ComposedFunctionValue.html
similarity index 100%
rename from doc/jsdoc/ComposedFunctionValue.html
rename to docs/jsdoc/ComposedFunctionValue.html
diff --git a/doc/jsdoc/CompoundDesignator.html b/docs/jsdoc/CompoundDesignator.html
similarity index 100%
rename from doc/jsdoc/CompoundDesignator.html
rename to docs/jsdoc/CompoundDesignator.html
diff --git a/doc/jsdoc/ConstantDesignator.html b/docs/jsdoc/ConstantDesignator.html
similarity index 100%
rename from doc/jsdoc/ConstantDesignator.html
rename to docs/jsdoc/ConstantDesignator.html
diff --git a/doc/jsdoc/ConstantFunction.html b/docs/jsdoc/ConstantFunction.html
similarity index 100%
rename from doc/jsdoc/ConstantFunction.html
rename to docs/jsdoc/ConstantFunction.html
diff --git a/doc/jsdoc/ConstantValue.html b/docs/jsdoc/ConstantValue.html
similarity index 100%
rename from doc/jsdoc/ConstantValue.html
rename to docs/jsdoc/ConstantValue.html
diff --git a/doc/jsdoc/DesignatedObject.html b/docs/jsdoc/DesignatedObject.html
similarity index 100%
rename from doc/jsdoc/DesignatedObject.html
rename to docs/jsdoc/DesignatedObject.html
diff --git a/doc/jsdoc/Designator.html b/docs/jsdoc/Designator.html
similarity index 100%
rename from doc/jsdoc/Designator.html
rename to docs/jsdoc/Designator.html
diff --git a/doc/jsdoc/DimensionHeight.html b/docs/jsdoc/DimensionHeight.html
similarity index 100%
rename from doc/jsdoc/DimensionHeight.html
rename to docs/jsdoc/DimensionHeight.html
diff --git a/doc/jsdoc/DimensionWidth.html b/docs/jsdoc/DimensionWidth.html
similarity index 100%
rename from doc/jsdoc/DimensionWidth.html
rename to docs/jsdoc/DimensionWidth.html
diff --git a/doc/jsdoc/ElementAttribute.html b/docs/jsdoc/ElementAttribute.html
similarity index 100%
rename from doc/jsdoc/ElementAttribute.html
rename to docs/jsdoc/ElementAttribute.html
diff --git a/doc/jsdoc/ElementAttributeValue.html b/docs/jsdoc/ElementAttributeValue.html
similarity index 100%
rename from doc/jsdoc/ElementAttributeValue.html
rename to docs/jsdoc/ElementAttributeValue.html
diff --git a/doc/jsdoc/ExistentialQuantifier.html b/docs/jsdoc/ExistentialQuantifier.html
similarity index 100%
rename from doc/jsdoc/ExistentialQuantifier.html
rename to docs/jsdoc/ExistentialQuantifier.html
diff --git a/doc/jsdoc/Explainer.html b/docs/jsdoc/Explainer.html
similarity index 100%
rename from doc/jsdoc/Explainer.html
rename to docs/jsdoc/Explainer.html
diff --git a/doc/jsdoc/FindBySelector.html b/docs/jsdoc/FindBySelector.html
similarity index 100%
rename from doc/jsdoc/FindBySelector.html
rename to docs/jsdoc/FindBySelector.html
diff --git a/doc/jsdoc/FunctionNamedArgument.html b/docs/jsdoc/FunctionNamedArgument.html
similarity index 100%
rename from doc/jsdoc/FunctionNamedArgument.html
rename to docs/jsdoc/FunctionNamedArgument.html
diff --git a/doc/jsdoc/GreaterOrEqual.html b/docs/jsdoc/GreaterOrEqual.html
similarity index 100%
rename from doc/jsdoc/GreaterOrEqual.html
rename to docs/jsdoc/GreaterOrEqual.html
diff --git a/doc/jsdoc/GreaterThan.html b/docs/jsdoc/GreaterThan.html
similarity index 100%
rename from doc/jsdoc/GreaterThan.html
rename to docs/jsdoc/GreaterThan.html
diff --git a/doc/jsdoc/Identity.html b/docs/jsdoc/Identity.html
similarity index 100%
rename from doc/jsdoc/Identity.html
rename to docs/jsdoc/Identity.html
diff --git a/doc/jsdoc/InputArgument.html b/docs/jsdoc/InputArgument.html
similarity index 100%
rename from doc/jsdoc/InputArgument.html
rename to docs/jsdoc/InputArgument.html
diff --git a/doc/jsdoc/IsEqualTo.html b/docs/jsdoc/IsEqualTo.html
similarity index 100%
rename from doc/jsdoc/IsEqualTo.html
rename to docs/jsdoc/IsEqualTo.html
diff --git a/doc/jsdoc/NamedArgument.html b/docs/jsdoc/NamedArgument.html
similarity index 100%
rename from doc/jsdoc/NamedArgument.html
rename to docs/jsdoc/NamedArgument.html
diff --git a/doc/jsdoc/NaryConjunctiveVerdict.html b/docs/jsdoc/NaryConjunctiveVerdict.html
similarity index 100%
rename from doc/jsdoc/NaryConjunctiveVerdict.html
rename to docs/jsdoc/NaryConjunctiveVerdict.html
diff --git a/doc/jsdoc/NaryDisjunctiveVerdict.html b/docs/jsdoc/NaryDisjunctiveVerdict.html
similarity index 100%
rename from doc/jsdoc/NaryDisjunctiveVerdict.html
rename to docs/jsdoc/NaryDisjunctiveVerdict.html
diff --git a/doc/jsdoc/NaryValue.html b/docs/jsdoc/NaryValue.html
similarity index 100%
rename from doc/jsdoc/NaryValue.html
rename to docs/jsdoc/NaryValue.html
diff --git a/doc/jsdoc/Nothing.html b/docs/jsdoc/Nothing.html
similarity index 100%
rename from doc/jsdoc/Nothing.html
rename to docs/jsdoc/Nothing.html
diff --git a/doc/jsdoc/ObjectNode.html b/docs/jsdoc/ObjectNode.html
similarity index 100%
rename from doc/jsdoc/ObjectNode.html
rename to docs/jsdoc/ObjectNode.html
diff --git a/doc/jsdoc/OrNode.html b/docs/jsdoc/OrNode.html
similarity index 100%
rename from doc/jsdoc/OrNode.html
rename to docs/jsdoc/OrNode.html
diff --git a/doc/jsdoc/Path.html b/docs/jsdoc/Path.html
similarity index 100%
rename from doc/jsdoc/Path.html
rename to docs/jsdoc/Path.html
diff --git a/doc/jsdoc/Quantifier.html b/docs/jsdoc/Quantifier.html
similarity index 100%
rename from doc/jsdoc/Quantifier.html
rename to docs/jsdoc/Quantifier.html
diff --git a/doc/jsdoc/QuantifierConjunctiveVerdict.html b/docs/jsdoc/QuantifierConjunctiveVerdict.html
similarity index 100%
rename from doc/jsdoc/QuantifierConjunctiveVerdict.html
rename to docs/jsdoc/QuantifierConjunctiveVerdict.html
diff --git a/doc/jsdoc/QuantifierDisjunctiveVerdict.html b/docs/jsdoc/QuantifierDisjunctiveVerdict.html
similarity index 100%
rename from doc/jsdoc/QuantifierDisjunctiveVerdict.html
rename to docs/jsdoc/QuantifierDisjunctiveVerdict.html
diff --git a/doc/jsdoc/QuantifierVerdict.html b/docs/jsdoc/QuantifierVerdict.html
similarity index 100%
rename from doc/jsdoc/QuantifierVerdict.html
rename to docs/jsdoc/QuantifierVerdict.html
diff --git a/doc/jsdoc/ReturnValue.html b/docs/jsdoc/ReturnValue.html
similarity index 100%
rename from doc/jsdoc/ReturnValue.html
rename to docs/jsdoc/ReturnValue.html
diff --git a/doc/jsdoc/TraceabilityNode.html b/docs/jsdoc/TraceabilityNode.html
similarity index 100%
rename from doc/jsdoc/TraceabilityNode.html
rename to docs/jsdoc/TraceabilityNode.html
diff --git a/doc/jsdoc/Tracer.html b/docs/jsdoc/Tracer.html
similarity index 100%
rename from doc/jsdoc/Tracer.html
rename to docs/jsdoc/Tracer.html
diff --git a/doc/jsdoc/UniversalQuantifier.html b/docs/jsdoc/UniversalQuantifier.html
similarity index 100%
rename from doc/jsdoc/UniversalQuantifier.html
rename to docs/jsdoc/UniversalQuantifier.html
diff --git a/doc/jsdoc/Unknown.html b/docs/jsdoc/Unknown.html
similarity index 100%
rename from doc/jsdoc/Unknown.html
rename to docs/jsdoc/Unknown.html
diff --git a/doc/jsdoc/UnknownNode.html b/docs/jsdoc/UnknownNode.html
similarity index 100%
rename from doc/jsdoc/UnknownNode.html
rename to docs/jsdoc/UnknownNode.html
diff --git a/doc/jsdoc/Value.html b/docs/jsdoc/Value.html
similarity index 100%
rename from doc/jsdoc/Value.html
rename to docs/jsdoc/Value.html
diff --git a/doc/jsdoc/Verdict.html b/docs/jsdoc/Verdict.html
similarity index 100%
rename from doc/jsdoc/Verdict.html
rename to docs/jsdoc/Verdict.html
diff --git a/doc/jsdoc/fonts/OpenSans-Bold-webfont.eot b/docs/jsdoc/fonts/OpenSans-Bold-webfont.eot
similarity index 100%
rename from doc/jsdoc/fonts/OpenSans-Bold-webfont.eot
rename to docs/jsdoc/fonts/OpenSans-Bold-webfont.eot
diff --git a/doc/jsdoc/fonts/OpenSans-Bold-webfont.svg b/docs/jsdoc/fonts/OpenSans-Bold-webfont.svg
similarity index 100%
rename from doc/jsdoc/fonts/OpenSans-Bold-webfont.svg
rename to docs/jsdoc/fonts/OpenSans-Bold-webfont.svg
diff --git a/doc/jsdoc/fonts/OpenSans-Bold-webfont.woff b/docs/jsdoc/fonts/OpenSans-Bold-webfont.woff
similarity index 100%
rename from doc/jsdoc/fonts/OpenSans-Bold-webfont.woff
rename to docs/jsdoc/fonts/OpenSans-Bold-webfont.woff
diff --git a/doc/jsdoc/fonts/OpenSans-BoldItalic-webfont.eot b/docs/jsdoc/fonts/OpenSans-BoldItalic-webfont.eot
similarity index 100%
rename from doc/jsdoc/fonts/OpenSans-BoldItalic-webfont.eot
rename to docs/jsdoc/fonts/OpenSans-BoldItalic-webfont.eot
diff --git a/doc/jsdoc/fonts/OpenSans-BoldItalic-webfont.svg b/docs/jsdoc/fonts/OpenSans-BoldItalic-webfont.svg
similarity index 100%
rename from doc/jsdoc/fonts/OpenSans-BoldItalic-webfont.svg
rename to docs/jsdoc/fonts/OpenSans-BoldItalic-webfont.svg
diff --git a/doc/jsdoc/fonts/OpenSans-BoldItalic-webfont.woff b/docs/jsdoc/fonts/OpenSans-BoldItalic-webfont.woff
similarity index 100%
rename from doc/jsdoc/fonts/OpenSans-BoldItalic-webfont.woff
rename to docs/jsdoc/fonts/OpenSans-BoldItalic-webfont.woff
diff --git a/doc/jsdoc/fonts/OpenSans-Italic-webfont.eot b/docs/jsdoc/fonts/OpenSans-Italic-webfont.eot
similarity index 100%
rename from doc/jsdoc/fonts/OpenSans-Italic-webfont.eot
rename to docs/jsdoc/fonts/OpenSans-Italic-webfont.eot
diff --git a/doc/jsdoc/fonts/OpenSans-Italic-webfont.svg b/docs/jsdoc/fonts/OpenSans-Italic-webfont.svg
similarity index 100%
rename from doc/jsdoc/fonts/OpenSans-Italic-webfont.svg
rename to docs/jsdoc/fonts/OpenSans-Italic-webfont.svg
diff --git a/doc/jsdoc/fonts/OpenSans-Italic-webfont.woff b/docs/jsdoc/fonts/OpenSans-Italic-webfont.woff
similarity index 100%
rename from doc/jsdoc/fonts/OpenSans-Italic-webfont.woff
rename to docs/jsdoc/fonts/OpenSans-Italic-webfont.woff
diff --git a/doc/jsdoc/fonts/OpenSans-Light-webfont.eot b/docs/jsdoc/fonts/OpenSans-Light-webfont.eot
similarity index 100%
rename from doc/jsdoc/fonts/OpenSans-Light-webfont.eot
rename to docs/jsdoc/fonts/OpenSans-Light-webfont.eot
diff --git a/doc/jsdoc/fonts/OpenSans-Light-webfont.svg b/docs/jsdoc/fonts/OpenSans-Light-webfont.svg
similarity index 100%
rename from doc/jsdoc/fonts/OpenSans-Light-webfont.svg
rename to docs/jsdoc/fonts/OpenSans-Light-webfont.svg
diff --git a/doc/jsdoc/fonts/OpenSans-Light-webfont.woff b/docs/jsdoc/fonts/OpenSans-Light-webfont.woff
similarity index 100%
rename from doc/jsdoc/fonts/OpenSans-Light-webfont.woff
rename to docs/jsdoc/fonts/OpenSans-Light-webfont.woff
diff --git a/doc/jsdoc/fonts/OpenSans-LightItalic-webfont.eot b/docs/jsdoc/fonts/OpenSans-LightItalic-webfont.eot
similarity index 100%
rename from doc/jsdoc/fonts/OpenSans-LightItalic-webfont.eot
rename to docs/jsdoc/fonts/OpenSans-LightItalic-webfont.eot
diff --git a/doc/jsdoc/fonts/OpenSans-LightItalic-webfont.svg b/docs/jsdoc/fonts/OpenSans-LightItalic-webfont.svg
similarity index 100%
rename from doc/jsdoc/fonts/OpenSans-LightItalic-webfont.svg
rename to docs/jsdoc/fonts/OpenSans-LightItalic-webfont.svg
diff --git a/doc/jsdoc/fonts/OpenSans-LightItalic-webfont.woff b/docs/jsdoc/fonts/OpenSans-LightItalic-webfont.woff
similarity index 100%
rename from doc/jsdoc/fonts/OpenSans-LightItalic-webfont.woff
rename to docs/jsdoc/fonts/OpenSans-LightItalic-webfont.woff
diff --git a/doc/jsdoc/fonts/OpenSans-Regular-webfont.eot b/docs/jsdoc/fonts/OpenSans-Regular-webfont.eot
similarity index 100%
rename from doc/jsdoc/fonts/OpenSans-Regular-webfont.eot
rename to docs/jsdoc/fonts/OpenSans-Regular-webfont.eot
diff --git a/doc/jsdoc/fonts/OpenSans-Regular-webfont.svg b/docs/jsdoc/fonts/OpenSans-Regular-webfont.svg
similarity index 100%
rename from doc/jsdoc/fonts/OpenSans-Regular-webfont.svg
rename to docs/jsdoc/fonts/OpenSans-Regular-webfont.svg
diff --git a/doc/jsdoc/fonts/OpenSans-Regular-webfont.woff b/docs/jsdoc/fonts/OpenSans-Regular-webfont.woff
similarity index 100%
rename from doc/jsdoc/fonts/OpenSans-Regular-webfont.woff
rename to docs/jsdoc/fonts/OpenSans-Regular-webfont.woff
diff --git a/doc/jsdoc/global.html b/docs/jsdoc/global.html
similarity index 100%
rename from doc/jsdoc/global.html
rename to docs/jsdoc/global.html
diff --git a/doc/jsdoc/index.html b/docs/jsdoc/index.html
similarity index 100%
rename from doc/jsdoc/index.html
rename to docs/jsdoc/index.html
diff --git a/doc/jsdoc/index.mjs.html b/docs/jsdoc/index.mjs.html
similarity index 100%
rename from doc/jsdoc/index.mjs.html
rename to docs/jsdoc/index.mjs.html
diff --git a/doc/jsdoc/modules_atomic-function.mjs.html b/docs/jsdoc/modules_atomic-function.mjs.html
similarity index 100%
rename from doc/jsdoc/modules_atomic-function.mjs.html
rename to docs/jsdoc/modules_atomic-function.mjs.html
diff --git a/doc/jsdoc/modules_booleans.mjs.html b/docs/jsdoc/modules_booleans.mjs.html
similarity index 100%
rename from doc/jsdoc/modules_booleans.mjs.html
rename to docs/jsdoc/modules_booleans.mjs.html
diff --git a/doc/jsdoc/modules_composed-function.mjs.html b/docs/jsdoc/modules_composed-function.mjs.html
similarity index 100%
rename from doc/jsdoc/modules_composed-function.mjs.html
rename to docs/jsdoc/modules_composed-function.mjs.html
diff --git a/doc/jsdoc/modules_designator.mjs.html b/docs/jsdoc/modules_designator.mjs.html
similarity index 100%
rename from doc/jsdoc/modules_designator.mjs.html
rename to docs/jsdoc/modules_designator.mjs.html
diff --git a/doc/jsdoc/modules_function.mjs.html b/docs/jsdoc/modules_function.mjs.html
similarity index 100%
rename from doc/jsdoc/modules_function.mjs.html
rename to docs/jsdoc/modules_function.mjs.html
diff --git a/doc/jsdoc/modules_numbers.mjs.html b/docs/jsdoc/modules_numbers.mjs.html
similarity index 100%
rename from doc/jsdoc/modules_numbers.mjs.html
rename to docs/jsdoc/modules_numbers.mjs.html
diff --git a/doc/jsdoc/modules_quantifier.mjs.html b/docs/jsdoc/modules_quantifier.mjs.html
similarity index 100%
rename from doc/jsdoc/modules_quantifier.mjs.html
rename to docs/jsdoc/modules_quantifier.mjs.html
diff --git a/doc/jsdoc/modules_tracer.mjs.html b/docs/jsdoc/modules_tracer.mjs.html
similarity index 100%
rename from doc/jsdoc/modules_tracer.mjs.html
rename to docs/jsdoc/modules_tracer.mjs.html
diff --git a/doc/jsdoc/modules_util.mjs.html b/docs/jsdoc/modules_util.mjs.html
similarity index 100%
rename from doc/jsdoc/modules_util.mjs.html
rename to docs/jsdoc/modules_util.mjs.html
diff --git a/doc/jsdoc/modules_value.mjs.html b/docs/jsdoc/modules_value.mjs.html
similarity index 100%
rename from doc/jsdoc/modules_value.mjs.html
rename to docs/jsdoc/modules_value.mjs.html
diff --git a/doc/jsdoc/modules_verdict.mjs.html b/docs/jsdoc/modules_verdict.mjs.html
similarity index 100%
rename from doc/jsdoc/modules_verdict.mjs.html
rename to docs/jsdoc/modules_verdict.mjs.html
diff --git a/doc/jsdoc/modules_web-element.mjs.html b/docs/jsdoc/modules_web-element.mjs.html
similarity index 100%
rename from doc/jsdoc/modules_web-element.mjs.html
rename to docs/jsdoc/modules_web-element.mjs.html
diff --git a/doc/jsdoc/scripts/linenumber.js b/docs/jsdoc/scripts/linenumber.js
similarity index 100%
rename from doc/jsdoc/scripts/linenumber.js
rename to docs/jsdoc/scripts/linenumber.js
diff --git a/doc/jsdoc/scripts/prettify/Apache-License-2.0.txt b/docs/jsdoc/scripts/prettify/Apache-License-2.0.txt
similarity index 100%
rename from doc/jsdoc/scripts/prettify/Apache-License-2.0.txt
rename to docs/jsdoc/scripts/prettify/Apache-License-2.0.txt
diff --git a/doc/jsdoc/scripts/prettify/lang-css.js b/docs/jsdoc/scripts/prettify/lang-css.js
similarity index 100%
rename from doc/jsdoc/scripts/prettify/lang-css.js
rename to docs/jsdoc/scripts/prettify/lang-css.js
diff --git a/doc/jsdoc/scripts/prettify/prettify.js b/docs/jsdoc/scripts/prettify/prettify.js
similarity index 100%
rename from doc/jsdoc/scripts/prettify/prettify.js
rename to docs/jsdoc/scripts/prettify/prettify.js
diff --git a/doc/jsdoc/styles/jsdoc-default.css b/docs/jsdoc/styles/jsdoc-default.css
similarity index 100%
rename from doc/jsdoc/styles/jsdoc-default.css
rename to docs/jsdoc/styles/jsdoc-default.css
diff --git a/doc/jsdoc/styles/prettify-jsdoc.css b/docs/jsdoc/styles/prettify-jsdoc.css
similarity index 100%
rename from doc/jsdoc/styles/prettify-jsdoc.css
rename to docs/jsdoc/styles/prettify-jsdoc.css
diff --git a/doc/jsdoc/styles/prettify-tomorrow.css b/docs/jsdoc/styles/prettify-tomorrow.css
similarity index 100%
rename from doc/jsdoc/styles/prettify-tomorrow.css
rename to docs/jsdoc/styles/prettify-tomorrow.css
diff --git a/jsdoc.conf.json b/jsdoc.conf.json
index 05d3114..887012c 100644
--- a/jsdoc.conf.json
+++ b/jsdoc.conf.json
@@ -17,7 +17,7 @@
     "sourceType": "module",
     "opts" : {
         "encoding": "utf8",
-        "destination": "./doc/jsdoc",
+        "destination": "./docs/jsdoc",
         "class-hierarchy": { "showList": true }
     },
     "plugins": [