Skip to content
This repository was archived by the owner on Jul 5, 2019. It is now read-only.
This repository was archived by the owner on Jul 5, 2019. It is now read-only.

in browse module mode in SMGloM we should have ways of switching to languge bindings #228

Description

@kohlhase

There is no good way to get to other languages or the signature file e.g. from https://mathhub.info/smglom/algebra/ring.en.omdoc
We should probably add a button or two.

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions