Release information about Mizar extension for VSCode

Dear Mizar Users,

I would like to inform you of a new Mizar extension for Visual Studio Code.
It has been developed by Taniguchi-san, who is a bachelor student in my
laboratory. Currently, the first version was released and is available on
the Visual Studio Marketplace.

We are really happy if you could try it and give us your feedback on
product usage. Any advice, new ideas, bug reports or enhancement requests
are welcome. Your feedback will greatly help him write his graduation
thesis, which is going to be submitted in two months. I would also like to
mention that he plans to go to graduate school and continue this
development for at least two more years.

[Features]
- Syntax highlight
- Auto indent
- Run verification and other refinement tools

[Prerequisites]
1. Install the Mizar system. Be sure to edit environment variables, PATH
and MIZFILES, appropriately.
2. Install VSCode. (See https://code.visualstudio.com)

[Installation]
On VSCode,
3. Click extension icon (Shortcut key: Ctrl+Shift+X) and type "Mizar".
4. Select the Mizar extension and install it.
(For more information, see
https://code.visualstudio.com/docs/editor/extension-gallery)

[Usage]
1. Open command palette (Shortcut key: Ctrl+Shift+P)
2. Type one of the following commands:
- mizar-verify
- mizar-verify2
- mizar-irrths
- mizar-reliters
- mizar-relinfer
- mizar-relprem
- mizar-inacc
- mizar-trivdemo
- mizar-irrvoc

[Test]
We have only tested it on Windows 10 yet.

For more information, please see the following website:
https://marketplace.visualstudio.com/items?itemName=fpsbpkm.mizar-extension

Best regards,
Kazuhisa

-- 
Kazuhisa NAKASHO
TEL: +81-90-8232-3271
e-mail : [email protected]