Commit History

Author SHA1 Message Date
  Nilan 77ce22bf9a Added definition of 'abgeschlossen' to definition of 'Topologischer Raum' 12 years ago
  Martin Thoma 7c2b54f966 Added GeoTopo draft 12 years ago