1. 89cceac cosmas distance operator now contains 'constraint' field for all given distance constraints by Joachim Bingel · 11 years ago
  2. d5161a1 more cosmas features by Joachim Bingel · 11 years ago
  3. 3a9f793 opnot and opprox by Joachim Bingel · 11 years ago
  4. b5f7bf0 integrated Cosmas2 antlr sources into modules, jsonify Cosmas, wrote some initial tests by Joachim Bingel · 11 years ago