Re: Release information about Mizar extension for VSCode

Dear Nakasho Sensei,

That's great to hear about the VS Code extension for Mizar.

It works as expected on my Windows 8.1 computer. I've also tried it on my 
Linux box (at first I needed to upgrade my VSCode installation from 1.33 
to 1.40) and here's some of my first experience feedback you may want to 
forward to Taniguchi-san.

There seems to be a simple problem with the paths. The code in the 
mizarFunctions.js file assumes that the command files are stored together 
within the MIZFILES folder (which is the case with the default Windows 
installation kept this way for historical reasons):

         command = path.join(String(exports.mizfiles), command);
         let makeenv = path.join(String(exports.mizfiles), Makeenv);

In general, both makeenv and other Mizar tools should be located by PATH 
rather than by MIZFILES.

Please keep up the good work,

Adam

On Mon, 9 Dec 2019, Kazuhisa NAKASHO wrote:

> 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]
>


Adam Naumowicz

===========================================================================
Dept. of Programming and Formal Methods      Fax: +48(85)738-83-33
Institute of Informatics                     Tel: +48(85)738-83-06 (office)
University of Bialystok                      E-mail: [email protected]
Ciolkowskiego 1M, 15-245 Bialystok, Poland   http://math.uwb.edu.pl/~adamn/
===========================================================================