Commits · master · ODK / DiscreteZOO

Feb 07, 2024
- no message · d144ac4f
  Florian Rabe authored 1 year ago
  
  d144ac4f
- no message · 574724f5
  Florian Rabe authored 1 year ago
  
  574724f5
Aug 19, 2019
- no message · 10a8fe32
  Florian Rabe authored 5 years ago
  
  10a8fe32
- no message · 26a25d40
  Florian Rabe authored 5 years ago
  
  26a25d40
Jul 13, 2019
- no message · fb1c4ef3
  Florian Rabe authored 5 years ago
  
  fb1c4ef3
May 09, 2019
- Return include to MatrixWithCharacteristicS · adca1557
  Katja Bercic authored 5 years ago
  
  adca1557
May 08, 2019
- Merge branch 'master' of https://gl.mathhub.info/ODK/DiscreteZOO · 26a4c902
  Katja Bercic authored 5 years ago
  
  26a4c902
- Schema updates · 036fed98
  Katja Bercic authored 5 years ago
  
  036fed98
May 07, 2019
- formalizations with Primoz · 8b2f6cf2
  Florian Rabe authored 5 years ago
  
  8b2f6cf2
May 06, 2019
- no message · a038487f
  Florian Rabe authored 5 years ago
  
  a038487f
- no message · 1a659308
  Florian Rabe authored 5 years ago
  
  Merge branch 'master' of gl.mathhub.info:ODK/DiscreteZoo # Conflicts: # source/MDDL.mmt # source/example_schema.mmt
  1a659308
- no message · e19ccd01
  Florian Rabe authored 5 years ago
  
  e19ccd01
Mar 22, 2019
- Update schemas, MDDL · 9b65a59c
  Katja Bercic authored 6 years ago
  
  9b65a59c
Mar 20, 2019
- Rename SchemaLang -> MDDL, update theories · 436db9bd
  Katja Bercic authored 6 years ago
  
  436db9bd
- Updates, more schemas · b02d1cce
  Katja Bercic authored 6 years ago
  
  b02d1cce
Mar 19, 2019
- Make eigenvalues opaque · 2a2fa9e7
  Katja Bercic authored 6 years ago
  
  2a2fa9e7
Mar 18, 2019
- Synchronize schemas with the paper · dd61814e
  Katja Bercic authored 6 years ago
  
  dd61814e
Mar 13, 2019
- Update notation in the DbData theory · 6ad60b3c
  Katja Bercic authored 6 years ago
  
  6ad60b3c
- Add schemas for graphs, maniplexes in DiscreteZOO; TODO: almost all columns are nullable · d862d61f
  Katja Bercic authored 6 years ago
  
  d862d61f
Mar 11, 2019
- Fix comment for the collection list · 1f1f5633
  Katja Bercic authored 6 years ago
  
  1f1f5633
- no message · 0ec01524
  Florian Rabe authored 6 years ago
  
  0ec01524
- no message · abaebe54
  Florian Rabe authored 6 years ago
  
  abaebe54
Mar 10, 2019
- no message · 74af6271
  Florian Rabe authored 6 years ago
  
  Merge branch 'master' of gl.mathhub.info:ODK/DiscreteZoo # Conflicts: # source/mathdata.mmt
  74af6271
- no message · a90ccfb3
  Florian Rabe authored 6 years ago
  
  a90ccfb3
Mar 07, 2019
- Update MathData theory, add toy example schema theory draft · a0d2d541
  Katja Bercic authored 6 years ago
  
  a0d2d541
Feb 28, 2019
- no message · 9cc674dd
  Florian Rabe authored 6 years ago
  
  9cc674dd
- no message · 779d9381
  Florian Rabe authored 6 years ago
  
  779d9381
Feb 19, 2019
- Add files · eca1b234
  Katja Bercic authored 6 years ago
  
  eca1b234
Jan 30, 2019
- "automatically created by MMT" · ded4c3c7
  Katja Bercic authored 6 years ago
  
  ded4c3c7