Commits · 959878e2dd01aa28bf3b115964e5cca6e617b835 · supervision / schaertl_andreas

Jun 22, 2020
- doc/timeline: add week26 todos · 959878e2
  Andreas Schärtl authored 4 years ago
  
  959878e2
Jun 12, 2020
- [x] set up sparql endpoint · 44d792ea
  Andreas Schärtl authored 4 years ago
  
  44d792ea
- [x] set up work items in Gitlab · ac38e386
  Andreas Schärtl authored 4 years ago
  
  ac38e386
Jun 09, 2020
- [x] upstream diff in mmt isabelle exporter · 624b6910
  Andreas Schärtl authored 4 years ago
  
  624b6910
- [x] think of nomenclature for projects · dead05ea
  Andreas Schärtl authored 4 years ago
  
  dead05ea
- timeline: don't bother w/ time tracking · e6ed2976
  Andreas Schärtl authored 4 years ago
  
  e6ed2976
Jun 08, 2020
- timeline: add week24.txt · a4b851b4
  Andreas Schärtl authored 4 years ago
  
  a4b851b4
May 25, 2020
- doc/timeline: add week22.txt · 67c7af54
  Andreas Schärtl authored 4 years ago
  
  67c7af54
May 21, 2020
- Start work on example application · 78d3bff1
  Andreas Schärtl authored 4 years ago
  
  78d3bff1
May 19, 2020
- timeline: add week21.txt · cac5df5b
  Andreas Schärtl authored 4 years ago
  
  cac5df5b
May 13, 2020
- doc/timeline: prototype of import stage now in development · 4153bfc7
  Andreas Schärtl authored 4 years ago
  
  4153bfc7
May 12, 2020
- Rework directory structure · f98a9efa
  Andreas Schärtl authored 4 years ago
  
  - code goes into /src - prose in /doc - /experimental is a playground
  f98a9efa