diff options
author | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-11-07 15:36:51 +0100 |
---|---|---|
committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-11-07 15:36:51 +0100 |
commit | 09d8faba5cca413a1233bead5f3832a3e7e69649 (patch) | |
tree | 1d2971f67671d0cf8e242e5f642b142d0994abac /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist | |
parent | Nodewise and graphwise diversity added (diff) | |
download | VIATRA-Generator-09d8faba5cca413a1233bead5f3832a3e7e69649.tar.gz VIATRA-Generator-09d8faba5cca413a1233bead5f3832a3e7e69649.tar.zst VIATRA-Generator-09d8faba5cca413a1233bead5f3832a3e7e69649.zip |
Colorcalculator support for datatypes
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist')
0 files changed, 0 insertions, 0 deletions