Commit History

Author SHA1 Message Date
  MW 4e3a90213f comments!! 7 years ago
  MW aa9937aef2 different color for auto mapped Edges 7 years ago
  MW eb3071b779 all the stuff 7 years ago
  MW 85ee2dffca Replaced every reference to Edge/Node with MyEdge/MyNode 7 years ago
  MW 49cd4e44e7 bug fixes 7 years ago
  Jan Enders 576e0acd93 small fix for automaic Metric update on Mapping change 7 years ago
  Jan Enders 1794dece28 Formatting is your friend 7 years ago
  Jan Enders 2147638482 Merged Jan 7 years ago
  jascha Bohne 5da98a8375 added propagating of undeletes 7 years ago
  Jan Enders 886d8c8ece Feedback on Mapping Edge creation, auto updating Metrics 7 years ago
  jascha Bohne 05f2a2db9d fixed Import of Mapping 7 years ago
  Jan Enders 3529c6dd79 Finished TaskFulfillmentMetric, small Bugfixes 7 years ago
  Jan Enders 16c49c3dcd Merge remote-tracking branch 'origin/Matthias' 7 years ago
  MW ff9a5c1dd3 operator nodes can be mapped multiple times fixed 7 years ago
  Jan Enders c69705f883 Small fixes and formatting 7 years ago
  Jan Enders cfce81d7ba Multigraph Support 7 years ago
  Jan Enders 9f88e83fa4 Merged Matthias 7 years ago
  jascha Bohne 17d83540a0 changed Packackage structure 7 years ago