Merge branch 'feature/wp/import-nupw-6.6' into 'master'

.gitlab-ci.yml

src/plugins/wp/Changelog

src/plugins/wp/Conditions.ml

src/plugins/wp/Conditions.mli

src/plugins/wp/GuiGoal.ml

src/plugins/wp/GuiList.ml

src/plugins/wp/GuiNavigator.ml

src/plugins/wp/GuiProof.ml

src/plugins/wp/GuiProver.ml

src/plugins/wp/GuiTactic.ml

src/plugins/wp/Lang.ml

src/plugins/wp/Lang.mli

src/plugins/wp/LogicCompiler.ml

src/plugins/wp/LogicSemantics.ml

src/plugins/wp/Makefile.in

src/plugins/wp/MemMemory.ml

src/plugins/wp/MemVar.ml

src/plugins/wp/ProofEngine.ml

src/plugins/wp/ProofEngine.mli

src/plugins/wp/ProofScript.ml