Weblate • Downloading and uploading translations Glossary • Checks and fixups • Searching • Translation workflows • Frequently Asked Questions • Supported file formats • Version control integration Access control • Translation projects • Language definitions - Continuous localization - Licensing translations - Translation process - Checks and fixups • Machine translation • Addons • Translation Translation Memory. • Configuration - Sample configuration - Management commands - Announcements - Component Lists - Optional Weblate modules - Customizing Weblate - Management interface - Getting

Weblate • Downloading and uploading translations Glossary • Checks and fixups • Searching • Translation workflows • Frequently Asked Questions • Supported file formats • Version control integration Access control - Translation projects - Language definitions - Continuous localization - Licensing translations - Translation process - Checks and fixups - Configuring automatic suggestions - Add-ons Add-ons - Translation Memory - Configuration - Sample configuration - Management commands - Announcements - Component Lists - Optional Weblate modules - Customizing Weblate - Management interface

Weblate • Downloading and uploading translations Glossary • Checks and fixups • Searching • Translation workflows • Frequently Asked Questions • Supported file formats • Version control integration Access control • Translation projects • Language definitions • Continuous localization • Licensing translations • Translation process • Checks and fixups • Configuring automatic suggestions • Add-ons Add-ons • Translation Memory • Configuration • Sample configuration • Management commands • Announcements • Component Lists • Optional Weblate modules • Customizing Weblate • Management interface

3.32 Universe Levels 99 3.33 With-Abstraction 99 3.34 Without K 109 4 Tools 111 4.1 Automatic Proof Search (Auto) 111 4.2 Command-line options 114 4.3 Compilers 118 4.4 Emacs Mode 120 • No pattern matching. • Uses each argument at most once. • Does not use all its arguments. Automatic inlining can be prevented using the NOINLINE pragma. Example: -- Would be auto-inlined since it are translated to auxiliary functions—there are no with-abstractions in the Core language. This translation proceeds as follows. Given a with-abstraction $$ \begin{array}{l}f:\Gamma\rightarrow B\\f\ p

3.32 Universe Levels 99 3.33 With-Abstraction 99 3.34 Without K 109 4 Tools 111 4.1 Automatic Proof Search (Auto) 111 4.2 Command-line options 114 4.3 Compilers 118 4.4 Emacs Mode 120 • No pattern matching. • Uses each argument at most once. • Does not use all its arguments. Automatic inlining can be prevented using the NOINLINE pragma. Example: -- Would be auto-inlined since it are translated to auxiliary functions—there are no with-abstractions in the Core language. This translation proceeds as follows. Given a with-abstraction $$ \begin{array}{l}f:\Gamma\rightarrow B\\f\ p

and uploading translations • Checks and fixups • Searching • Application developer guide • Translation workflows Frequently Asked Questions • Supported file formats Version control integration • control • Translation projects • Language definitions • Continuous localization • Licensing translations • Translation process • Checks and fixups • Machine translation • Addons • Translation Memory other components within it by default. This lightens the burden of repetitive and multi version translation. Disable it as per Component configuration, still producing errors for seemingly inconsistent resulting

internationalization ○ Managing translations ○ Reviewing source strings ○ Promoting the translation ○ Translation progress reporting Administrators guide ○ Quick setup guide ○ Installation instructions Access control ○ Translation projects ○ Language definitions ○ Continuous translation ○ Licensing translations ○ Translation process ○ Checks and fixups ○ Machine translation ○ Addons ○ Translation Translation Memory ○ Configuration ○ Sample configuration ○ Management commands ○ Whiteboard messages ○ Component Lists ○ Optional Weblate modules ○ Django admin interface • Translation workflows

internationalization - Managing translations - Reviewing source strings - Promoting the translation - Translation progress reporting Administrators guide - Quick setup guide - Installation instructions Access control - Translation projects - Language definitions - Continuous translation - Licensing translations - Translation process - Checks and fixups - Machine translation - Addons - Translation Translation Memory - Configuration - Sample configuration - Management commands - Whiteboard messages - Component Lists - Optional Weblate modules - Translation workflows - Translation

uploading translations 21 1.5 Glossary 25 1.6 Checks and fixups 27 1.7 Searching 50 1.8 Translation workflows 56 1.9 Frequently Asked Questions 59 1.10 Supported file formats 67 1.11 Version 2.6 Access control 238 2.7 Translation projects 247 2.8 Language definitions 264 2.9 Continuous localization 266 2.10 Licensing translations 275 2.11 Translation process 277 2.12 Checks and and fixups 283 2.13 Machine translation 292 2.14 Add-ons 299 2.15 Translation Memory 315 2.16 Configuration 317 2.17 Sample configuration 347 2.18 Management commands 363 2.19 Announcements

• Managing translations • Reviewing source strings • Promoting the translation • Translation progress reporting • Administrators guide • Quick setup guide • Installation Access control • Translation projects • Language definitions • Continuous translation • Translation process • Checks and fixups • Machine translation • Addons • Translation Memory • Configuration • Sample configuration • Management commands • Whiteboard messages • Component Lists • Optional Weblate modules • Translation