Commit History

Author SHA1 Message Date
  Altlast e1f444cb0f 20171209 src/mesh.sml (signature MESH als interface fuer die Verwendung von structure Mesh durch graph2prom.sml) 7 years ago
  Altlast 0609202971 20171208 src/mesh.sml (SplayMaps statt Listen wegen Suchzeit O(log(n)) statt O(n)) 7 years ago
  Altlast 694d4902a9 20171205 src/mesh.sml (graph.json -> Meshes (= Zusammenhangskomponenten des Verbindungsgraphen) und mit status-mesh.json visualisieren) 7 years ago