Difference between revisions of "Translations:Main Page/56/cs"

Latest revision as of 10:54, 18 February 2017

Information about message (contribute)

This message has no documentation. If you know where or how this message is used, you can help other translators by adding documentation to this message.

Message definition (Main Page)

HoTT Integration

HoTT Integration

TranslationHoTT Integrace

HoTT Integrace

Revision as of 10:54, 18 February 2017 (view source) Admin (Talk \| contribs) (Created page with "HoTT Integration")		Latest revision as of 10:54, 18 February 2017 (view source) Admin (Talk \| contribs)
Line 1:		Line 1:
−	HoTT ~~Integration~~	+	HoTT Integrace

Difference between revisions of "Translations:Main Page/56/cs"

Latest revision as of 10:54, 18 February 2017

Navigation menu

Personal tools

Namespaces

Variants

Views

More

Search

Navigation

Tools