1. 13 Jun, 2021 1 commit
  2. 08 Jun, 2021 1 commit
    • Siebers, Michael's avatar
      update item type definition · cb001817
      Siebers, Michael authored
      The previous definition could result in unexpected errors.
      The previous oneof(...) throws an instantiation error
      when the parsed term is not ground. This may happen for example
      when a JSON object is parsed to a dict (tag is a variable).
      The replacement has the same semantical meaning but avoids
      throwing an instantiation exception when applied on a dict.
      cb001817
  3. 05 Dec, 2020 8 commits
  4. 04 Dec, 2020 5 commits
  5. 02 Dec, 2020 9 commits
  6. 01 Dec, 2020 3 commits
  7. 30 Nov, 2020 2 commits
  8. 28 Nov, 2020 2 commits
  9. 27 Nov, 2020 5 commits
  10. 26 Nov, 2020 1 commit
  11. 24 Nov, 2020 3 commits