Tags

included comoproj-v2.7.0
-----BEGIN SSH SIGNATURE-----
U1NIU0lHAAAAAQAAAZcAAAAHc3NoLXJzYQAAAAMBAAEAAAGBAKy/QyfnmPSdhzdwNJ+nl4
7MUqG24lW44QYlm+uyYSjRmn6vyjqtUT05mJfmhfUOydCxL/TZ6QYtAYACHItvA14dMQts
mz7HZDrR6bpxM3QegQJNQMVFjmTw8Hx/tZ2/XLKL6PqPqJ6x1DTSJdV1HQWsRtZ7/YnvZc
YmHx7ZrmDqjHQyVTeoeTZ5uiFFTSN2gfAAlnpqcaPsYl9sxpih/AAUeKtrz9l2mt6ez/gE
29xDZ2SWD53+EmwpN2JUnSd8GYYNs99pf0dUrEB3NFtrbsIOsS6MaeQmzO1T/DjmNqWGpe
uhQ9N2ondRKX0iqBMi+MAphD6aooM8lAYdkmYOBULa20ru09nYSxtCgab3BF2G1tQP94AS
BXWSqyFijgRwcOIorhMbQh1TXSitTF3F3EeyMplcMpBrjuO60n62EYf+zWdecASXa0h75P
iF+/GbmXqGU1sXDDS1lrD/qobuX+wEnrqq+KkaiiGa5kY4M4Jjl9TciO1VoWUjxRKajBH9
awAAAANnaXQAAAAAAAAABnNoYTUxMgAAAZQAAAAMcnNhLXNoYTItNTEyAAABgIYOLBuMDs
ebcFJQnCXHgBpASfL/TlHm2ckYoceeSTei48Uz4DxlqJ6biaiuTnIgceF0bMiJs36FAMtx
GO2XO66i3q/GFQPRMEekdrcDI+/DTuxnEvHVVsW8y6ZwBC/h/bXaZvcO9wIVTQE+dVMwF3
jgLg+dnUyXuqXxEnOLbCekJCAEREISrgfaai7BFOWnb7+BwG4V6iHpKXivSWRZI7llMNMt
a0VjQh74dT9RaMJGJPpiMskWMrnStutbfuQ5SOevlKAbN6xTy2JG9ily2IoBq/DRBjR4MI
QEmPBNzzUxW/X2r0yRCPsZsEwy91Gi7ZpgwWlkL3jvcon5YPu/WnHkCE6g1+lCh4rpo/Ze
Wr9KlLHyc7hhY9Wx+2IBqt3zMQXiCkj6LrAzwMnpvVYLSM92GRiNi0pfLvfROFasx/3NP1
wMUAO6mjv3rUi8Uq3w0GbtvNeBOy1xltkJdBXqoZIw2VnJYS36IY7WCuHEWLNhRvzrmhSI
SJhcNQFrqAAMuw==
-----END SSH SIGNATURE-----

the usual
-----BEGIN SSH SIGNATURE-----
U1NIU0lHAAAAAQAAAZcAAAAHc3NoLXJzYQAAAAMBAAEAAAGBAKy/QyfnmPSdhzdwNJ+nl4
7MUqG24lW44QYlm+uyYSjRmn6vyjqtUT05mJfmhfUOydCxL/TZ6QYtAYACHItvA14dMQts
mz7HZDrR6bpxM3QegQJNQMVFjmTw8Hx/tZ2/XLKL6PqPqJ6x1DTSJdV1HQWsRtZ7/YnvZc
YmHx7ZrmDqjHQyVTeoeTZ5uiFFTSN2gfAAlnpqcaPsYl9sxpih/AAUeKtrz9l2mt6ez/gE
29xDZ2SWD53+EmwpN2JUnSd8GYYNs99pf0dUrEB3NFtrbsIOsS6MaeQmzO1T/DjmNqWGpe
uhQ9N2ondRKX0iqBMi+MAphD6aooM8lAYdkmYOBULa20ru09nYSxtCgab3BF2G1tQP94AS
BXWSqyFijgRwcOIorhMbQh1TXSitTF3F3EeyMplcMpBrjuO60n62EYf+zWdecASXa0h75P
iF+/GbmXqGU1sXDDS1lrD/qobuX+wEnrqq+KkaiiGa5kY4M4Jjl9TciO1VoWUjxRKajBH9
awAAAANnaXQAAAAAAAAABnNoYTUxMgAAAZQAAAAMcnNhLXNoYTItNTEyAAABgKL2DvZ/IO
llDxo7C5V6rNGHWMYmEy+nOXM2PavWPCzGWD5rR9OaPrQMME4gZo5jbAj7YowhVjmp+JwB
1OfwjGeGsOoQ7kgt7Ps5yyR8WvuP5L73thHeCgbI7byY4p1JFBf0E2YBhK4AgnkC/xc7rb
ZAYrXvPQtwQaQAWLh9GEvoIZH4eHp+2dhb6TKicKVteDfOgwUY0D2ryaXAC20255q26ZO3
mURmSZQbBRqrZX7Dn8sU4BLA9MTksv+iubq4hEz1PHUsLtIAQKSAewojea04Y2TxhpPjGj
JXPrAfvdds6nYbthF6eKl30hoAKR1jWJPuu+gGgzIF+4MF5cMwHGIj5TIVRYyDnCGuXyEp
E4QVvnacurAgS/ohmyzXNsNwM5FOmQeNaTLszRbNu3rGtxqsun0k7b8ZrdWzsifsb14nr7
JDyPfkjgnOgJLA2b9u6YlRI8H/+zRdJFBl11LprZbuYoOBCchMQAt51OBml2qkzg3UwNjG
aCQeeVS3SnjVBg==
-----END SSH SIGNATURE-----

Included coqdocjs

added licensing-information to every source file
-----BEGIN SSH SIGNATURE-----
U1NIU0lHAAAAAQAAAZcAAAAHc3NoLXJzYQAAAAMBAAEAAAGBAKy/QyfnmPSdhzdwNJ+nl4
7MUqG24lW44QYlm+uyYSjRmn6vyjqtUT05mJfmhfUOydCxL/TZ6QYtAYACHItvA14dMQts
mz7HZDrR6bpxM3QegQJNQMVFjmTw8Hx/tZ2/XLKL6PqPqJ6x1DTSJdV1HQWsRtZ7/YnvZc
YmHx7ZrmDqjHQyVTeoeTZ5uiFFTSN2gfAAlnpqcaPsYl9sxpih/AAUeKtrz9l2mt6ez/gE
29xDZ2SWD53+EmwpN2JUnSd8GYYNs99pf0dUrEB3NFtrbsIOsS6MaeQmzO1T/DjmNqWGpe
uhQ9N2ondRKX0iqBMi+MAphD6aooM8lAYdkmYOBULa20ru09nYSxtCgab3BF2G1tQP94AS
BXWSqyFijgRwcOIorhMbQh1TXSitTF3F3EeyMplcMpBrjuO60n62EYf+zWdecASXa0h75P
iF+/GbmXqGU1sXDDS1lrD/qobuX+wEnrqq+KkaiiGa5kY4M4Jjl9TciO1VoWUjxRKajBH9
awAAAANnaXQAAAAAAAAABnNoYTUxMgAAAZQAAAAMcnNhLXNoYTItNTEyAAABgCNr7TeEvW
NpALz3Zw/5ia3ALejyl7NFWgTiohzFf7iCa5VjMUcWUAXC/mNMNNEA/XMtlSviPYg/Tjj0
uNJ2nz3On07uZADpsBaNzbpYAA0JLSksGGkKFwb4cE2nexWt/a5ePF/81XrUll9wBKCMIY
kpSMKxp+GPE54+gZcjZZMJFK+MZuV1HmxcUJtGaY/wwtTRYr++WJMW4k8RrF+9yB2ipjGH
Ko/6sTefg7OrWnWc6TakXSbkIDBOLqficHJUzEVdCZROba0t0+h6T7i7ZNo3UvrCfNokUt
CfTyh2k45IfgdvpkeapT2guV4rv75oxSLTR5c6tZ/Otj/seC5m+DXYfiR5IweTVqHsImzw
MS64bvOa/cMtq6Kw9WC7ckFQ57QnW044LhtqUGShX25TJzJq2lVi7eX0NDQv8XVrve8blU
FrkmgG53f+iTcacUW7CVsSyCeSPiltE90bk/6UcfOAFpo0vOFWRPI19aE81hCjRWN0znov
vJ3fnalE3FUDHw==
-----END SSH SIGNATURE-----

see comoproj-v2.6.2
-----BEGIN SSH SIGNATURE-----
U1NIU0lHAAAAAQAAAZcAAAAHc3NoLXJzYQAAAAMBAAEAAAGBAKy/QyfnmPSdhzdwNJ+nl4
7MUqG24lW44QYlm+uyYSjRmn6vyjqtUT05mJfmhfUOydCxL/TZ6QYtAYACHItvA14dMQts
mz7HZDrR6bpxM3QegQJNQMVFjmTw8Hx/tZ2/XLKL6PqPqJ6x1DTSJdV1HQWsRtZ7/YnvZc
YmHx7ZrmDqjHQyVTeoeTZ5uiFFTSN2gfAAlnpqcaPsYl9sxpih/AAUeKtrz9l2mt6ez/gE
29xDZ2SWD53+EmwpN2JUnSd8GYYNs99pf0dUrEB3NFtrbsIOsS6MaeQmzO1T/DjmNqWGpe
uhQ9N2ondRKX0iqBMi+MAphD6aooM8lAYdkmYOBULa20ru09nYSxtCgab3BF2G1tQP94AS
BXWSqyFijgRwcOIorhMbQh1TXSitTF3F3EeyMplcMpBrjuO60n62EYf+zWdecASXa0h75P
iF+/GbmXqGU1sXDDS1lrD/qobuX+wEnrqq+KkaiiGa5kY4M4Jjl9TciO1VoWUjxRKajBH9
awAAAANnaXQAAAAAAAAABnNoYTUxMgAAAZQAAAAMcnNhLXNoYTItNTEyAAABgHtQ+9B8Qv
fgN8OBHw2bVu9kjiOj6bcbZEpvir0xotQ5uWxwqpYNkWvJXZcR4WLABszJo5V63ltORYOA
LD8EwaqSWfSneuHMu1gh0eO2L5WIZjgUlav+7ujPeSliHJuVQaDAe9X5o8yd3BvAoNpK1i
ZV/rXIzo56nhuP+KIBaAyVZStaQBOjTbaj8AFnj8UZZxK6msoXR4bx2vu0N2SaZkQWH1fc
41CAg2UA+3IdXgTOdkUHS2cXFCvQRP/Pol2+Kcww684KCe6pe/AYpYV7XTA9HUu8wul28n
zmGBYz7+4vJnC+TH3+b9Wh+BpBo0wzp/owS9ARVHsUIxtqsbuqMlJ0/m9l6y+HD2ARhCyk
ss6y50hOtfSn7skv0GtZwUafORYpQ4uMcpJcpuFVziIjdgqVpPXCyW0Xo2/N8208lPfjGW
qg603iUcVMRvh5CN1wfNEBUBt1Y1KT5f1Zr/Bn+DdBfQER0AGbWxgfa/dsCsfHJkdWCt65
h6X7ZKvc1LFxfw==
-----END SSH SIGNATURE-----

Added explicit licensing to every file

The Makefile is now explicit licensed under GNU GPLv3 with copyrights to
Max Ole Elliger and Philip Kaludercic.

The .gitlab-ci.yml is now explicit licensed under GNU GPLv3 with
copyrights to Max Ole Elliger.
-----BEGIN SSH SIGNATURE-----
U1NIU0lHAAAAAQAAAZcAAAAHc3NoLXJzYQAAAAMBAAEAAAGBAKy/QyfnmPSdhzdwNJ+nl4
7MUqG24lW44QYlm+uyYSjRmn6vyjqtUT05mJfmhfUOydCxL/TZ6QYtAYACHItvA14dMQts
mz7HZDrR6bpxM3QegQJNQMVFjmTw8Hx/tZ2/XLKL6PqPqJ6x1DTSJdV1HQWsRtZ7/YnvZc
YmHx7ZrmDqjHQyVTeoeTZ5uiFFTSN2gfAAlnpqcaPsYl9sxpih/AAUeKtrz9l2mt6ez/gE
29xDZ2SWD53+EmwpN2JUnSd8GYYNs99pf0dUrEB3NFtrbsIOsS6MaeQmzO1T/DjmNqWGpe
uhQ9N2ondRKX0iqBMi+MAphD6aooM8lAYdkmYOBULa20ru09nYSxtCgab3BF2G1tQP94AS
BXWSqyFijgRwcOIorhMbQh1TXSitTF3F3EeyMplcMpBrjuO60n62EYf+zWdecASXa0h75P
iF+/GbmXqGU1sXDDS1lrD/qobuX+wEnrqq+KkaiiGa5kY4M4Jjl9TciO1VoWUjxRKajBH9
awAAAANnaXQAAAAAAAAABnNoYTUxMgAAAZQAAAAMcnNhLXNoYTItNTEyAAABgErzK54MZc
RpgINKTLS9xhACoQcZIpaumdSgbYgUVWbfimuExFoEIUa0XhvrqBsQRnWsaRpBFwSUNB8a
Ih4KV68uNqbQr9u0ep2dlcm7FpUOXUfDNw95IpyLdtEb4e8nbXEHN3bmzDAFWqh78vNfFq
qLhPIp74CQ7alza7X4WS6esLugPQcAUnarfISl97WyeSp7DdwRyMaNKQjnvBo1zrZxj+3F
Rj97sYWCN0B/Eyvd5/nqRYvyJeELqhEvrtimIPTOLXNkOaysKXM1VtilzYDfrLIvIShwOK
EXcbyOcet/uvOI7IyEix7RJg+3avXWXpTdqgK42hLaK3/oH9nV1DPzn1IlteEDxJ2Z2vqs
SB4KBNpjToJ9TcCahr8YkNFp3hNfY5U2NNAaNtcphZamW9Ruc3afeI6OSTBuarfobqGkJ9
cacE/u5x9Wl28z+/CVbNHm53HK21VxlemubOh6HhTLbfl5PCGVm2c7cuH1oxqtTpREp4iF
8v6GMqFxUAtiBg==
-----END SSH SIGNATURE-----

New Things:

- New structured chapter about induction.
- Improved documentation for the other chapters
- Removed Restart/Undo-warnings
-----BEGIN SSH SIGNATURE-----
U1NIU0lHAAAAAQAAAZcAAAAHc3NoLXJzYQAAAAMBAAEAAAGBAKy/QyfnmPSdhzdwNJ+nl4
7MUqG24lW44QYlm+uyYSjRmn6vyjqtUT05mJfmhfUOydCxL/TZ6QYtAYACHItvA14dMQts
mz7HZDrR6bpxM3QegQJNQMVFjmTw8Hx/tZ2/XLKL6PqPqJ6x1DTSJdV1HQWsRtZ7/YnvZc
YmHx7ZrmDqjHQyVTeoeTZ5uiFFTSN2gfAAlnpqcaPsYl9sxpih/AAUeKtrz9l2mt6ez/gE
29xDZ2SWD53+EmwpN2JUnSd8GYYNs99pf0dUrEB3NFtrbsIOsS6MaeQmzO1T/DjmNqWGpe
uhQ9N2ondRKX0iqBMi+MAphD6aooM8lAYdkmYOBULa20ru09nYSxtCgab3BF2G1tQP94AS
BXWSqyFijgRwcOIorhMbQh1TXSitTF3F3EeyMplcMpBrjuO60n62EYf+zWdecASXa0h75P
iF+/GbmXqGU1sXDDS1lrD/qobuX+wEnrqq+KkaiiGa5kY4M4Jjl9TciO1VoWUjxRKajBH9
awAAAANnaXQAAAAAAAAABnNoYTUxMgAAAZQAAAAMcnNhLXNoYTItNTEyAAABgCThIK5xyO
FmSQy7RNIDGqzc5PU9NabI1npBe8zEmJwpLeu00KSPbOGXhejvYCTl7N/MEsstJ66agkWo
dTAPFWh/9ytViDlIYJBaD5lwzRO9fyJQTHCFg+mXOWyplgsXyhRRW9b+kDdYjZsKrb+wLy
g0xrYGq66oKWJzhlwzw6FLcbbgTf/6lEBdCy4qdq3hELManYxmXArjW9IJbzA/LTM4InFY
cWEjhs9BAzgdC7asQJq2xjBdhO2rFx8YtvhjJNt6b9SYL388U7d7tG9CCO25/LxhTgFNz/
5v86mfiUFp3kPMfv4bozoDncD+/sBKSCYA56f/I/2T3mag2cS0eCHMm/2f4g812PslT3Jx
wthG8cHpKZqA6pFgLdLwWuBzvN3TXLPdt6G5QKo3I8aFUiv1ab3Q8Dd1eVgOywsmsh8uon
jk9G6d+WWSNLBfWKqKODI8CIWz5V/55VmqLXFNsrbfhA3kYwAXPHEbLcEteGjchSvhcOby
4cVUrg2iS2NtTg==
-----END SSH SIGNATURE-----

included comoproj-v2.6.1 (LICENSE-Switch)
-----BEGIN SSH SIGNATURE-----
U1NIU0lHAAAAAQAAAZcAAAAHc3NoLXJzYQAAAAMBAAEAAAGBAKy/QyfnmPSdhzdwNJ+nl4
7MUqG24lW44QYlm+uyYSjRmn6vyjqtUT05mJfmhfUOydCxL/TZ6QYtAYACHItvA14dMQts
mz7HZDrR6bpxM3QegQJNQMVFjmTw8Hx/tZ2/XLKL6PqPqJ6x1DTSJdV1HQWsRtZ7/YnvZc
YmHx7ZrmDqjHQyVTeoeTZ5uiFFTSN2gfAAlnpqcaPsYl9sxpih/AAUeKtrz9l2mt6ez/gE
29xDZ2SWD53+EmwpN2JUnSd8GYYNs99pf0dUrEB3NFtrbsIOsS6MaeQmzO1T/DjmNqWGpe
uhQ9N2ondRKX0iqBMi+MAphD6aooM8lAYdkmYOBULa20ru09nYSxtCgab3BF2G1tQP94AS
BXWSqyFijgRwcOIorhMbQh1TXSitTF3F3EeyMplcMpBrjuO60n62EYf+zWdecASXa0h75P
iF+/GbmXqGU1sXDDS1lrD/qobuX+wEnrqq+KkaiiGa5kY4M4Jjl9TciO1VoWUjxRKajBH9
awAAAANnaXQAAAAAAAAABnNoYTUxMgAAAZQAAAAMcnNhLXNoYTItNTEyAAABgJPgvd/9zg
pay4QYDx+ttVQRfh4/UmQvSRIT3cyuhTsszXsHDOlyDvRFYa49zfYZJTArYKbQZKcYyPrp
zOtXIvyum4f7ZkAOX66/mAI79P52kEKjZKZKQfK1KOtfobpTHjmJJIFFiU2tUhlGwdr9Ip
CJMXEw8ixdd84mDiLg9FIh3okgHhYFPfTG+bgljn7J11CtfZGlYzh4a7zqlUrSDBBT4EQq
1SEVAWUZIzu/ZAYwAax+kCUEIR6RGdfJMOb8L7tThb4h1oRmgXiqNkPWbdKk+bJUPnfw0Z
uh+6jx23oRAFAW69VK9ltAhL51S3ZSlh7dYfFIbgz9x5THeRyXLe/VDoIft7+gil2sOIiu
YDi6n9giWNYz6nFIU5CSto2ETxdVSULN6zl1uvpih5MdVuSb2UgYwyg6+hIHck7fm3SyYg
4VV2f6ojeektwT6sE01E0SLX1B488i+eO6RJeFbkJCpWb/3kBGPVMg7x1DWs6iV/ivZHqB
+rSM41KiMgRNqA==
-----END SSH SIGNATURE-----

comoproj-v2.6.1 for coq-version 8.16.1
-----BEGIN SSH SIGNATURE-----
U1NIU0lHAAAAAQAAAZcAAAAHc3NoLXJzYQAAAAMBAAEAAAGBAKy/QyfnmPSdhzdwNJ+nl4
7MUqG24lW44QYlm+uyYSjRmn6vyjqtUT05mJfmhfUOydCxL/TZ6QYtAYACHItvA14dMQts
mz7HZDrR6bpxM3QegQJNQMVFjmTw8Hx/tZ2/XLKL6PqPqJ6x1DTSJdV1HQWsRtZ7/YnvZc
YmHx7ZrmDqjHQyVTeoeTZ5uiFFTSN2gfAAlnpqcaPsYl9sxpih/AAUeKtrz9l2mt6ez/gE
29xDZ2SWD53+EmwpN2JUnSd8GYYNs99pf0dUrEB3NFtrbsIOsS6MaeQmzO1T/DjmNqWGpe
uhQ9N2ondRKX0iqBMi+MAphD6aooM8lAYdkmYOBULa20ru09nYSxtCgab3BF2G1tQP94AS
BXWSqyFijgRwcOIorhMbQh1TXSitTF3F3EeyMplcMpBrjuO60n62EYf+zWdecASXa0h75P
iF+/GbmXqGU1sXDDS1lrD/qobuX+wEnrqq+KkaiiGa5kY4M4Jjl9TciO1VoWUjxRKajBH9
awAAAANnaXQAAAAAAAAABnNoYTUxMgAAAZQAAAAMcnNhLXNoYTItNTEyAAABgKt1kVrxBZ
qunQOUhcc5jmlrItUyF7XN9qifdfIYi1IQcDb3GOCb4P1KiFDxSzaD2uxAkJ0mf1GyVs0W
BL32YOgSnlD75XM+XhFpIcMKW5c7TQ287pUXvQT2stJGcX6fviDiS19fy7MhvWy4r0sEdu
/VdDkg3w+HZRkinXc6B4UppLORbpEDnPEk1wgL/mPgMw5LKzqL3mmVnnDPr3yDevRNLDdq
oxBRrUAucScLHprAzzD2FJ7bJ0sH+H3ALeXEHt0PhpoHFSljK62mxE2DKnhMlKZWzIvcNE
/G1joK5sN7svR34FoAW+XYAaI5UZY7p+11zE5MBmA0pDcey+TpaGZP8andtw7oSocBQWMw
V8QVr0vWylVpUjVf92aUM1LgxAUmIMoIcQ0IHwIDjRb33PK/vek4ooKhw9L1XzlNCw9RON
8JsJdaSd9Vmjp2mz4N0pXYJnRBDJDxYPto6f/NzXLbIMDKAsV2ATcHaDwCowhLIlGoIZeV
PxFnRlmy9rxwRw==
-----END SSH SIGNATURE-----

new tag name
-----BEGIN SSH SIGNATURE-----
U1NIU0lHAAAAAQAAAZcAAAAHc3NoLXJzYQAAAAMBAAEAAAGBAKy/QyfnmPSdhzdwNJ+nl4
7MUqG24lW44QYlm+uyYSjRmn6vyjqtUT05mJfmhfUOydCxL/TZ6QYtAYACHItvA14dMQts
mz7HZDrR6bpxM3QegQJNQMVFjmTw8Hx/tZ2/XLKL6PqPqJ6x1DTSJdV1HQWsRtZ7/YnvZc
YmHx7ZrmDqjHQyVTeoeTZ5uiFFTSN2gfAAlnpqcaPsYl9sxpih/AAUeKtrz9l2mt6ez/gE
29xDZ2SWD53+EmwpN2JUnSd8GYYNs99pf0dUrEB3NFtrbsIOsS6MaeQmzO1T/DjmNqWGpe
uhQ9N2ondRKX0iqBMi+MAphD6aooM8lAYdkmYOBULa20ru09nYSxtCgab3BF2G1tQP94AS
BXWSqyFijgRwcOIorhMbQh1TXSitTF3F3EeyMplcMpBrjuO60n62EYf+zWdecASXa0h75P
iF+/GbmXqGU1sXDDS1lrD/qobuX+wEnrqq+KkaiiGa5kY4M4Jjl9TciO1VoWUjxRKajBH9
awAAAANnaXQAAAAAAAAABnNoYTUxMgAAAZQAAAAMcnNhLXNoYTItNTEyAAABgCuSmz1ABu
ZGi147CqAT6JGyCA/UlSNwG3KUjgUvJ0G9e6FSzxzgcx2c1OsxRqOIGSnCJADEMCIlhWaq
peBcwck7IHvIhnlM2k9BsKuY2bA6HilMLFCenDwkpK2F2sTnYvXhI+2aPA3Yq/9gWPTyRs
B3blFcMeoO0o77aoZbg7K9tVo6ElxzHiWiHD/2dJ1mdAHKj4FJL2Ouv4fgbRDAkxGm/E5q
EDKipZRntJvE0weCIsLRYZw2pY5lA7zRdHNqES2Ve2mZej+YIMouHbLpj9GMDrBrYDSTIG
xu88peAugHz7M86o8G9Y14R7+MVS7Du46mBrM5pyrg5P9JWhLN/8y5d7w7OP2kmY5jJZRV
SiBlRpisAyy234xWukK6qRsTzsrWHIkQY1RU7Bdd0UsSHrW/FzgZ3n7DN2VP6CjVgESUPs
oE5vEDxbkM0noMCiZkQa77Bir0Abp/bjARgR1+Owh03LG8eAAtb9ukedXPENAqh0C9UXDC
Em/xuuvSqx86Gw==
-----END SSH SIGNATURE-----

new tag name
-----BEGIN SSH SIGNATURE-----
U1NIU0lHAAAAAQAAAZcAAAAHc3NoLXJzYQAAAAMBAAEAAAGBAKy/QyfnmPSdhzdwNJ+nl4
7MUqG24lW44QYlm+uyYSjRmn6vyjqtUT05mJfmhfUOydCxL/TZ6QYtAYACHItvA14dMQts
mz7HZDrR6bpxM3QegQJNQMVFjmTw8Hx/tZ2/XLKL6PqPqJ6x1DTSJdV1HQWsRtZ7/YnvZc
YmHx7ZrmDqjHQyVTeoeTZ5uiFFTSN2gfAAlnpqcaPsYl9sxpih/AAUeKtrz9l2mt6ez/gE
29xDZ2SWD53+EmwpN2JUnSd8GYYNs99pf0dUrEB3NFtrbsIOsS6MaeQmzO1T/DjmNqWGpe
uhQ9N2ondRKX0iqBMi+MAphD6aooM8lAYdkmYOBULa20ru09nYSxtCgab3BF2G1tQP94AS
BXWSqyFijgRwcOIorhMbQh1TXSitTF3F3EeyMplcMpBrjuO60n62EYf+zWdecASXa0h75P
iF+/GbmXqGU1sXDDS1lrD/qobuX+wEnrqq+KkaiiGa5kY4M4Jjl9TciO1VoWUjxRKajBH9
awAAAANnaXQAAAAAAAAABnNoYTUxMgAAAZQAAAAMcnNhLXNoYTItNTEyAAABgGX9sdzC6Q
7AEpr8R8nERAOgi3g1DCQyc5jCYCjUtRXOTdXY1NbuXhtDbrjJidJk0fpvIsAyLSkcqOtA
zSS6SinsrrZWlJr312DYLgHDCVV5rHSkPSRk70KrdGCNIprTNmoFcMhvs89mNhLoZnQBsn
tzc+92YQN0+foHIWiUoqzYYfG99ms13ED+UD26DDqsiWZruBACKSXXw+takHPY34lMnPTK
YmAFZR3wU5eZ9l+jixGbz+X1il+StMJHs2vJOgvgVj8stKL9do8J8UPY6NAtGUemAPoXI1
ibRr0a/Fb5PaVqprdb2JU8+L29mJPx0YnqmKH2WYGZLNIWt+jbyJr4bRL2ZO/tuwS+Pbi3
cAdD5BgdXyRpUCl7XhYG79gk/GLLjZyJ7E3GeC9VMhS6ta5lm2MOsDCUfNK3kRYWrBlIwv
ybv+UyKphfXZAZADTyAiO1dErs2/6wqRnmMx7fIe7IRUuDmT6swg1jV2CjqSTjV5DRHia1
+MXpXpFE84arfQ==
-----END SSH SIGNATURE-----

added explicit latest tag to docker image
-----BEGIN SSH SIGNATURE-----
U1NIU0lHAAAAAQAAAZcAAAAHc3NoLXJzYQAAAAMBAAEAAAGBAKy/QyfnmPSdhzdwNJ+nl4
7MUqG24lW44QYlm+uyYSjRmn6vyjqtUT05mJfmhfUOydCxL/TZ6QYtAYACHItvA14dMQts
mz7HZDrR6bpxM3QegQJNQMVFjmTw8Hx/tZ2/XLKL6PqPqJ6x1DTSJdV1HQWsRtZ7/YnvZc
YmHx7ZrmDqjHQyVTeoeTZ5uiFFTSN2gfAAlnpqcaPsYl9sxpih/AAUeKtrz9l2mt6ez/gE
29xDZ2SWD53+EmwpN2JUnSd8GYYNs99pf0dUrEB3NFtrbsIOsS6MaeQmzO1T/DjmNqWGpe
uhQ9N2ondRKX0iqBMi+MAphD6aooM8lAYdkmYOBULa20ru09nYSxtCgab3BF2G1tQP94AS
BXWSqyFijgRwcOIorhMbQh1TXSitTF3F3EeyMplcMpBrjuO60n62EYf+zWdecASXa0h75P
iF+/GbmXqGU1sXDDS1lrD/qobuX+wEnrqq+KkaiiGa5kY4M4Jjl9TciO1VoWUjxRKajBH9
awAAAANnaXQAAAAAAAAABnNoYTUxMgAAAZQAAAAMcnNhLXNoYTItNTEyAAABgGxhNIZFQC
P+Vsj5IFKPlItv0nLTnKRUjGHdpA66sAS2J5apbrPvvUorjXh0JOk5S8b0AXtBgBiubKmP
o5NerQqHQiCxzwO5/18fOkEQWo4txbSp7/nKLfOvFtYbaoPG554cjIvscmvn8fN0u727uk
3w0h9XzMbi+u/Jh1/R7mEVb6sCw9WIGEZRoFHsuGXNKWOQ1wk5uNjFRkAAFGbEBMs0e1/c
X96Em2PxucKF0p6dUUpVahQZXeWbFsb5hsd9V5g6usJSfdI+OxMh+qHgXoK70Ue5f5Zglr
tA9x2sZNnSgg176Vu3wsG0FQroFD6VU2U245Kdooj0gbG6YGUa3INDX5f0XhGhZLp8GyxB
1qbJfxj3k7TmZfCBmYh+mmtYP29BU/NHpWhQTUor6gnnaC7UHz8I1bZ3MqrHn6D/bcXvbs
74Ot7qj1sUth3aM2iKrT0LxVA+xSQbmMe5GdrVY2Y3AVCdGyXEnLAe9H7TYZKgeCdLgHSC
R28Ak3yy7aZUhw==
-----END SSH SIGNATURE-----

updated LICENSE
-----BEGIN SSH SIGNATURE-----
U1NIU0lHAAAAAQAAAZcAAAAHc3NoLXJzYQAAAAMBAAEAAAGBAKy/QyfnmPSdhzdwNJ+nl4
7MUqG24lW44QYlm+uyYSjRmn6vyjqtUT05mJfmhfUOydCxL/TZ6QYtAYACHItvA14dMQts
mz7HZDrR6bpxM3QegQJNQMVFjmTw8Hx/tZ2/XLKL6PqPqJ6x1DTSJdV1HQWsRtZ7/YnvZc
YmHx7ZrmDqjHQyVTeoeTZ5uiFFTSN2gfAAlnpqcaPsYl9sxpih/AAUeKtrz9l2mt6ez/gE
29xDZ2SWD53+EmwpN2JUnSd8GYYNs99pf0dUrEB3NFtrbsIOsS6MaeQmzO1T/DjmNqWGpe
uhQ9N2ondRKX0iqBMi+MAphD6aooM8lAYdkmYOBULa20ru09nYSxtCgab3BF2G1tQP94AS
BXWSqyFijgRwcOIorhMbQh1TXSitTF3F3EeyMplcMpBrjuO60n62EYf+zWdecASXa0h75P
iF+/GbmXqGU1sXDDS1lrD/qobuX+wEnrqq+KkaiiGa5kY4M4Jjl9TciO1VoWUjxRKajBH9
awAAAANnaXQAAAAAAAAABnNoYTUxMgAAAZQAAAAMcnNhLXNoYTItNTEyAAABgESjX0Vtze
6TwBGwLkD4FdplwKokEhtv1MKTePsx2nEZQ9Z+omossn7uBj1ir7qD5eWVEtE7IAUz8LUL
RtMUAcGsEfoaC9kXAq5Zt+qExX/ftsYfUBthLzjQaRODA3CiZZG3T2sUsmX5Aw9yl6AfUo
+iEJZLLCYDXA2hrr/YpYjzL6OaVj3fnV1K6Un9r9CJjDwXnuUKH7ky/9QgbnX6TQf9jwsX
clroer21PHl0ThN6hw8oQugnuhS2w5K6SIvSj9QooT2OXKH9iCHBBAcyxVlU6UQv+6StLf
qmE7V3xgJp/khPBkJ7OVM+GE43q5ZLMLiOtWIQFAbW12ZrMo3QINg1NxEW718NNNs5HKn7
8w4sKEvUh70FKteBwa2xTZpqWHhfz4NlXTeBAd+7jrO5BReX5yZ6+AwSZRw0KbLZIeZiDw
/MW4xiIpK9lYssUGdsnsP4ACuZeZKaL5+noKJKIXk8Eq48y1p6h6Q1L+9/T0+dt18KHTh0
lbMuZo8YNL/LhA==
-----END SSH SIGNATURE-----

support for coq-equations

By using the new docker image motrellin/docker-coq-equations, one can
now use this template to check coq code using the extension
coq-extensions.
-----BEGIN SSH SIGNATURE-----
U1NIU0lHAAAAAQAAAZcAAAAHc3NoLXJzYQAAAAMBAAEAAAGBAKy/QyfnmPSdhzdwNJ+nl4
7MUqG24lW44QYlm+uyYSjRmn6vyjqtUT05mJfmhfUOydCxL/TZ6QYtAYACHItvA14dMQts
mz7HZDrR6bpxM3QegQJNQMVFjmTw8Hx/tZ2/XLKL6PqPqJ6x1DTSJdV1HQWsRtZ7/YnvZc
YmHx7ZrmDqjHQyVTeoeTZ5uiFFTSN2gfAAlnpqcaPsYl9sxpih/AAUeKtrz9l2mt6ez/gE
29xDZ2SWD53+EmwpN2JUnSd8GYYNs99pf0dUrEB3NFtrbsIOsS6MaeQmzO1T/DjmNqWGpe
uhQ9N2ondRKX0iqBMi+MAphD6aooM8lAYdkmYOBULa20ru09nYSxtCgab3BF2G1tQP94AS
BXWSqyFijgRwcOIorhMbQh1TXSitTF3F3EeyMplcMpBrjuO60n62EYf+zWdecASXa0h75P
iF+/GbmXqGU1sXDDS1lrD/qobuX+wEnrqq+KkaiiGa5kY4M4Jjl9TciO1VoWUjxRKajBH9
awAAAANnaXQAAAAAAAAABnNoYTUxMgAAAZQAAAAMcnNhLXNoYTItNTEyAAABgHIh7Fxqc/
7d7oxjFRHkxMkh63jx7+j65aydYSKhvMJuWK6asdBVCjpt0inKwlJGmfANKKkK9qygqa+N
dZS8prAyPPZiHTIImb4fCHlKWbpcDF3zEGHJp+eQ3X01+lyEdE0Uirc3TJ3jkdt5I5e8Wh
hxBOUXq6vv5Tuow9lH3Vd04JXxlU3+/p/KZHT6tjHzLQyf54eg/e9fmFXEy2D/JdY1So8F
5H90GVyn5/WLnXdJPP+TuiEeGqQ9dvdgBCerH+KgkvwAZPZ3E7/IubJeL7AkGXBn8of4Y6
cyceMJLPKqWfHnNTuaveVcaivxWc0/KTEnM1EXQRsFhcz2LZGMQWI1CCCGqFqh4iGqErpI
Jntlt3zdPx7t9OfmwU83VoEGymOZDpjQ6IIDOuyYwCn55+DSc+CKaOYItkLprFH8ZWQNrZ
LrLQ6N7Dn+ZJy0CM2r8zoe9eMmQjCUjtHPdgVpZzo48wZielbaQ/Mu9aC0zCl9RyGF/Iyo
BkG2S/4DDRxpGA==
-----END SSH SIGNATURE-----

html-folder for artifacts

added README based on readmo-v1.0.0

first version

concrete version via .gitlab-cicd