[Date Prev][Date Next]
[Chronological]
[Thread]
[Top]
Re: [mizar] 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 : k.nakasho@gmail.com
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: adamn@mizar.org
Ciolkowskiego 1M, 15-245 Bialystok, Poland http://math.uwb.edu.pl/~adamn/
===========================================================================