Skip to content

Feature mmt-stex#591

Open
tmaier473 wants to merge 4 commits intoUniFormal:develfrom
tmaier473:mmt-stex
Open

Feature mmt-stex#591
tmaier473 wants to merge 4 commits intoUniFormal:develfrom
tmaier473:mmt-stex

Conversation

@tmaier473
Copy link

Pull request for the mmt-stex extension.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant