Enable inclusion-morphism auto-completion

gts-morpher / gts_morpher

Tool for building GTS Morphisms and Amalgamations

MIT License

4 stars 0 forks source link

Closed szschaler closed 5 years ago

szschaler commented 5 years ago

Closes #14 .

Tasks:

[x] Syntax
[x] Validation
- [x] Against other auto-completion options
- [x] Checking that source and target have the same metamodel and rules
[x] Implement actual auto-completion
[x] Update documentation