Mathlingua Language Support

This is the official extension that provides language support for the Mathlingua language.

Requirements

This extension requires the mlg command line tool to be installed. To install it, download the latest version from the Mathlingua release page, rename it to mlg, and ensure it is in your PATH.

Features

Supports syntax highlighting, basic autocomplete, and identifying syntax errors in Mathlingua documents. Documents are analyzed on each file save.

Release Notes

0.31.0 (2023-04-04)

• Updated to support Mathlingua version 0.20.0 that is a major change in the language designed to support operator overloading (ad-hoc polymorphism).

0.30.0 (2021-11-26)

• Updated to use version 0.13.0 of MathLingua.
• Removed several configurations that are not supported by the new version of mlg.

0.29.0 (2021-06-25)

• Single page rendering works correctly.

0.28.0 (2021-05-26)

• Rename reference: autocompletion to resources:.

0.27.0 (2021-05-19)

• Fix autocompletion issues.
• Support text blocks.

0.26.0 (2021-04-14)

• Add syntax highlighting support for comments.

0.25.0 (2021-04-13)

• Fix a bug where autocompletions were not working.
• Update the mathlingua language support up to mathlingua PR#353.

0.24.0 (2021-04-07)

• Remove the internal use of the --format option when rendering since it is no longer supported (see mathlingua PR#345).

0.23.0 (2021-03-23)

• Add support for opening the preview panel with keyboard shortcuts.
• Add support for autocompleting source: and site: items.
• Improve rendering of MathLingua documents.

0.22.0 (2021-03-01)

Incorporate MathLingua changes in pull requests:

• mathlingua/mathlingua#305
• mathlingua/mathlingua#306
• mathlingua/mathlingua#307

0.21.0 (2021-01-27)

• Now if the current workspace has a bin/mathlingua.jar file it will be used. Otherwise if it has a .bin/mathlingua.jar file it will be used. Last the mathlingua.jar file bundled with the extension will be used.

0.20.0 (2021-01-24)

• Remove support for the mathlingua.duplicates and mathlingua.undefined commands since those checks are done whenever a file is saved.
• If the workspace directory contains a bin/mathlingua.jar file, then the extension uses that file. Otherwise, the mathlingua.jar file bundled with the extension is used.

0.19.0 (2021-01-13)

• Support the new MathLingua syntax.

0.18.0 (2020-07-19)

• Addressed issues with rendering content that contained subscripts.
• If the expansion of a command could not be done, the html tooltip for the command contains the errors preventing the expansion to occur.
• Support for Proto groups has been removed. Instead of ProtoTheorem or ProtoResult use Theorem instead. Instead of using ProtoDefines use Definition. Instead of ProtoAxiom and ProtoConjecture use Axiom and Conjecture.

0.17.0 (2020-07-17)

• Text can contain Mathlingua code enclosed in single quotes and it will be expanded when rendered.
• Fixed an issue where document rendering wasn't able to use defined signatures.

0.16.1 (2020-07-15)

• Render \term{...} text in italics.

0.16.0 (2020-07-15)

• Simplify the syntax definition.

0.15.0 (2020-07-14)

• Fix an issue with the display of parse errors sometimes not appearing.
• Add a preview button in the top right corner of vscode used to activate the preview of the current Mathlingua document.

0.14.0 (2020-07-13)

• A Mathlingua Java subprocess is now used to perform operations for the extension.

0.13.0 (2020-07-11)

• The mathlingua.duplicates and mathlingua.undefined commands have been added. The identification of duplicate content and undefined signatures noew occurs when those commands are entered instead of on each file save.

0.12.1 (2020-07-09)

• Improve performance of detecting duplicate content and signatures.

0.12.0 (2020-07-08)

• Support identifying duplicate content.
• Support identifying duplicate signatures.

0.11.0 (2020-07-07)

• The preview panel is no longer automatically opened by default when opening a .math file. The new autoOpenPreview option can be used to change this behavior.

0.10.2 (2020-07-04)

• Update the readme to describe how to use this extension with mathlore.org.

0.10.1 (2020-07-02)

• Address an issue where commands containing the text is (such as \exists) were not rendered correctly.
• Changed the default configuration value of mathlingua.useBoldHeaders to false.

0.10.0 (2020-07-01)

• Add configuration options.

0.9.2 (2020-07-01)

• Add autocomplete for expands:as:.
• Greek letters and names with subscripts are rendered correctly in TexTalk.

0.9.1 (2020-06-29)

• Update the preview image path in the readme.

0.9.0 (2020-06-29)

• Support A?? and A{...}?? 'written as' forms.
• Improve the spacing and rendering in the preview window.
• Fixed some issues related to opening the preview window.

0.8.0 (2020-06-27)

• In addition to statements, text entries, and written as entries are rendered as LaTeX.
• All text and statements have tooltips that show their original unrendered text.
• The preview window is only automatically opened if there is .math file open.

0.7.3 (2020-06-27)

• Fix an issue where named groups with multiple args are now supported.

0.7.2 (2020-06-26)

• The preview window is now automatically displayed when opening a .math file.

0.7.1 (2020-06-26)

• Rendered views preserve item order.
• Fixed an issue expanding "written as" forms.
• Improved font sizes.

0.7.0 (2020-06-25)

• Add support for rendering custom infix operators. (For example render x \set.in X as x \in X).
• Left justify rendered html.

0.6.0 (2020-06-11)

• Add support for rendering MathLingua documents.

0.5.1 (2020-06-10)

• Update the README.

0.5.0 (2020-06-10)

• Updated to reflect changes to MathLingua where Theorem is used instead of Result and Resource is used instead of Source.

0.4.0 (2020-05-20)

• Warnings are displayed for signatures that are used but have not been defined.

0.3.0 (2020-05-19)

• Parse errors are now displayed within the editor on save.

0.2.0 (2020-05-18)

• Autocomplete of Defines: and Represents: signatures has been added but only within the current file. That is, if a signature is specified in file a.math, then file b.math does not yet know about it.

0.1.1 (2020-05-17)

• Included more keywords to identify the extension

0.1.0 (2020-05-17)

• Introduced syntax highlighting support
• Introduced autocompletion for structural components (i.e. not statements within single quotes)