Lemma lists - Githubissues

blekerfeld / donut

Donut, dictionary toolkit

MIT License

9 stars 3 forks source link

Open blekerfeld opened 7 years ago

blekerfeld commented 7 years ago

Allow grouping lemmas in lists, to do batch derivation and things like that...