Skip to content
Tags give the ability to mark specific points in history as being important
  • comoproj-v2.6.1-coqc-8.16.1-ocaml-4.13.1 protected
    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-----
  • comoproj-v2.3.1-coqc-8.16.1-ocaml-4.13.1 protected
    8de77580 · .gitlab-ci.yml ·
    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-----
  • comoproj-v2.3.1-coqc-8.18.0-ocaml-4.13.1 protected
    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-----
  • comoproj-v2.6.1 protected
    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-----
  • comoproj-v2.6.0 protected Release: comoproj-v2.6.0
    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-----
  • comoproj-v2.5.0 protected Release: comoproj-v2.5.0
    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-----
  • comoproj-v2.4.1 protected
    html-folder for artifacts
  • comoproj-v2.4.0 protected
    501d1c0d · updated README ·
    added README based on readmo-v1.0.0
  • readmo-v1.0.0
    7b118f6d · init ·
    first version
  • comoproj-v2.3.1-coqc-v8.16.1 protected
    8de77580 · .gitlab-ci.yml ·
  • comoproj-v2.3.1-coqc-v8.18.0 protected
  • comoproj-v2.3.1 protected
    some fixes due to problems with coqc-8.16.1
  • comoproj-v2.3.0 protected Release: comoproj-v2.3.0
    topological sorted toc.html based on Coq-Command 'Require'
  • comoproj-v2.2.0 protected Release: comoproj-v2.2.0
    enabled sorting in html-output
  • comoproj-v2.1.0-coqc-v8.18.0 protected
  • comoproj-v2.1.0 protected Release: comoproj-v2.1.0
  • comoproj-v2.0.1-coqc-v8.18.0 protected
  • comoproj-v2.0.1 protected
    GitLab-CI only works on latest Coq-Version
  • comoproj-v2.0.0 protected Release: comoproj-v2.0.0
    new structure for more folders in projects
  • comoproj-v1.2.0 protected
    4fe47f9f · updated .gitlab-ci.yml ·
    Release: comoproj-v1.2.0
    added description, how you can compile your project in multiple versions. added latest as additional default version