Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Various edits #51

Merged
merged 9 commits into from
May 30, 2022
Merged

Various edits #51

merged 9 commits into from
May 30, 2022

Commits on May 2, 2022

  1. Configuration menu
    Copy the full SHA
    7e29c0e View commit details
    Browse the repository at this point in the history
  2. Update /req/core/place, explain CURIEs

    addresses #48
    cportele committed May 2, 2022
    Configuration menu
    Copy the full SHA
    1fb3c0f View commit details
    Browse the repository at this point in the history
  3. clarify (Multi)Polyhedron semantics

    closes #45
    cportele committed May 2, 2022
    Configuration menu
    Copy the full SHA
    46cb172 View commit details
    Browse the repository at this point in the history

Commits on May 16, 2022

  1. Configuration menu
    Copy the full SHA
    1542d28 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    ec32eab View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    de27cb4 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    53a79af View commit details
    Browse the repository at this point in the history
  5. Update annex-history.adoc

    cportele committed May 16, 2022
    Configuration menu
    Copy the full SHA
    8911441 View commit details
    Browse the repository at this point in the history

Commits on May 30, 2022

  1. add datetime CRS definition

    cportele committed May 30, 2022
    Configuration menu
    Copy the full SHA
    2beedb4 View commit details
    Browse the repository at this point in the history