1. 05 Jun, 2020 1 commit
  2. 08 Apr, 2020 1 commit
  3. 23 May, 2019 1 commit
  4. 23 Feb, 2017 1 commit
  5. 21 Dec, 2016 1 commit
  6. 19 Dec, 2016 1 commit
    • María's avatar
      no change · 923b89ef
      María authored
      just trying to regenerate documentation
      923b89ef
  7. 29 Nov, 2016 1 commit
  8. 28 Nov, 2016 1 commit
  9. 08 Nov, 2016 1 commit
    • María's avatar
      Disjoints · 19ef78a7
      María authored
      Added disjoints
      
      hasFrequencyMeasurment renamed
      
      diagrams updated and examples updated
      19ef78a7
  10. 25 Oct, 2016 1 commit
    • María's avatar
      comments in envi · e6db4eba
      María authored
      Added comments for op, dp and individuals.
      
      Added isDefinedBy for reused entities
      e6db4eba
  11. 24 Oct, 2016 1 commit
  12. 22 Oct, 2016 2 commits
  13. 21 Oct, 2016 3 commits
    • María's avatar
      prefix y PO axiom · 02ddcf39
      María authored
      change prefix to s4envi
      change axiom in PhysicalObject about contains
      02ddcf39
    • María's avatar
      add isContainedIn · 398d4809
      María authored
      and the axiom in Device
      398d4809
    • María's avatar
      Axioms in bldg · e614aea8
      María authored
      first version of the bldg with axioms in classes.
      
      real ranges and complex numbers should be refined.
      e614aea8
  14. 20 Oct, 2016 11 commits
  15. 19 Oct, 2016 6 commits
  16. 18 Oct, 2016 1 commit