Commits · 04f7d8cc177ab912f81936c45ed5818d5a84aede · supervision / schaertl_andreas

Jun 10, 2020
- doc: add report directory w/ latex template · 04f7d8cc
  Andreas Schärtl authored 4 years ago
  
  04f7d8cc
- doc: explain RDF4J endpoint · 9634c906
  Andreas Schärtl authored 4 years ago
  
  9634c906
- doc: explain SPARQL endpoint · e1622f27
  Andreas Schärtl authored 4 years ago
  
  e1622f27
- doc: add .gitignore · 994af339
  Andreas Schärtl authored 4 years ago
  
  994af339
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 29, 2020
- doc: add june.txt · b8059705
  Andreas Schärtl authored 4 years ago
  
  First draft; will be revised.
  b8059705
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
May 11, 2020
- doc: add component description · cd3050c4
  Andreas Schärtl authored 4 years ago
  
  cd3050c4