Commits · 0cbe210083ba1e86a67533bf8237da689d62e883 · MathHub / data-proposal

29 Jan, 2019 37 commits
- general cleanup (ednots and kpis) · 0cbe2100
  Michael Kohlhase authored Jan 29, 2019
  
  0cbe2100
- NTs ednotes; regenerated · 3720eb5f
  Michael Kohlhase authored Jan 29, 2019
  
  3720eb5f
- more and spellcheck · c91df85a
  Michael Kohlhase authored Jan 29, 2019
  
  c91df85a
- Merge branch 'master' of gl.kwarc.info:mathhub/data-proposal · 94db5753
  Michael Kohlhase authored Jan 29, 2019
  
  94db5753
- more on NT's ednotes and spellcheck · 5358cff6
  Michael Kohlhase authored Jan 29, 2019
  
  5358cff6
- no message · 70471469
  Florian Rabe authored Jan 29, 2019
```
Merge branch 'master' of gl.kwarc.info:mathhub/data-proposal

# Conflicts:
#	Proposal/concept.tex
#	Proposal/proposal.pdf
```
  70471469
- no message · 38231911
  Florian Rabe authored Jan 29, 2019
  
  38231911
- Merge branch 'master' of https://gl.kwarc.info/mathhub/data-proposal · bea5c99b
  Katja Bercic authored Jan 29, 2019
  
  bea5c99b
- Olaf's updates · ba7d4298
  Katja Bercic authored Jan 29, 2019
  
  ba7d4298
- updating gantt chart · 2c79e53c
  Michael Kohlhase authored Jan 29, 2019
  
  2c79e53c
- fixing unicode/inputenc problem · 83f4d46e
  Michael Kohlhase authored Jan 29, 2019
  
  83f4d46e
- re-generated · bb754d45
  Michael Kohlhase authored Jan 29, 2019
  
  bb754d45
- Merge branch 'master' of https://gl.kwarc.info/mathhub/data-proposal · 12fa1a55
  Katja Bercic authored Jan 29, 2019
  
  12fa1a55
- Fix "data set" -> dataset, modelling to modeling (except for names, citations) · abab1987
  Katja Bercic authored Jan 29, 2019
  
  abab1987
- regenerated · b5b7dee4
  Michael Kohlhase authored Jan 29, 2019
  
  b5b7dee4
- Olaf's updates · 153a48e6
  Katja Bercic authored Jan 29, 2019
  
  153a48e6
- Updates to Ambition · e2856de4
  Katja Bercic authored Jan 29, 2019
  
  e2856de4
- Updates to Concept · 49356adc
  Katja Bercic authored Jan 29, 2019
  
  49356adc
- Add references (Excellence intro) · f1e846f7
  Katja Bercic authored Jan 29, 2019
  
  f1e846f7
- Merge branch 'master' of https://gl.kwarc.info/mathhub/data-proposal · f5591e97
  Katja Bercic authored Jan 29, 2019
  
  f5591e97
- Change start of Excellence to active voice · 87d5821e
  Katja Bercic authored Jan 29, 2019
  
  87d5821e
- merge · 5e986ebe
  Michael Kohlhase authored Jan 29, 2019
  
  5e986ebe
- integrating the rest of Volker's comments · 47bb31cc
  Michael Kohlhase authored Jan 29, 2019
  
  47bb31cc
- Add missing refs for SUMO, OBI, SNOMED CT · 59e21405
  Katja Bercic authored Jan 29, 2019
  
  59e21405
- Merge branch 'master' of https://gl.kwarc.info/mathhub/data-proposal · 5c434610
  Katja Bercic authored Jan 29, 2019
  
  5c434610
- Some of Volker's comments · 3a97195a
  Katja Bercic authored Jan 29, 2019
  
  3a97195a
- figure placements and clearpages for more structure · b7806c33
  Michael Kohlhase authored Jan 29, 2019
  
  b7806c33
- Merge branch 'master' of gl.kwarc.info:mathhub/data-proposal · 8808e528
  Michael Kohlhase authored Jan 29, 2019
  
  8808e528
- deprecating · 223fa22d
  Michael Kohlhase authored Jan 29, 2019
  
  223fa22d
- Refresh zbMATH:on date · de3f0204
  Katja Bercic authored Jan 29, 2019
  
  de3f0204
- Merge branch 'master' of https://gl.kwarc.info/mathhub/data-proposal · f435113d
  Katja Bercic authored Jan 29, 2019
```
# Conflicts:
#	Proposal/concept.tex
```
  f435113d
- Olaf's updates · c76aaf9d
  Katja Bercic authored Jan 29, 2019
  
  c76aaf9d
- various tweaks and ednotes, de-duplicated bibliography · cd2bc940
  Michael Kohlhase authored Jan 29, 2019
  
  cd2bc940
- fixing bibTeX · c77c031c
  Michael Kohlhase authored Jan 29, 2019
  
  c77c031c
- Update Proposal/ambition.tex · 5f69da6e
  Stefan Lemurell authored Jan 29, 2019
  
  5f69da6e
- Update Proposal/concept.tex · 2fdc0a06
  Stefan Lemurell authored Jan 29, 2019
  
  2fdc0a06
- revisions · db35428c
  Florian Rabe authored Jan 29, 2019
  
  db35428c
28 Jan, 2019 3 commits
- Update Proposal/concept.tex, Proposal/relation_to_the_work_programme.tex files · 5d399177
  Stefan Lemurell authored Jan 28, 2019
  
  5d399177
- Update Proposal/excellence.tex · 23155903
  Stefan Lemurell authored Jan 28, 2019
  
  23155903
- Merge branch 'master' of https://gl.kwarc.info/mathhub/data-proposal · b0175e96
  Katja Bercic authored Jan 28, 2019
  
  b0175e96