Rename project to reflect broader scope - Githubissues

gts-morpher / gts_morpher

Tool for building GTS Morphisms and Amalgamations

MIT License

4 stars 0 forks source link

Rename project to reflect broader scope #9

Closed szschaler closed 5 years ago

szschaler commented 5 years ago

A possible new name might be GTSMorpher, perhaps.

[x] Rename repository
[x] Refactor language name
[x] Change file extension (incl. in documentation)
[x] Change package names