Verisyntax — User Manual (prototype 0.1)

Open the desktop application

Run this command in Terminal:

open "<desktop-release>/Verisyntax IDE.app"

Alternatively, open Finder, browse to <desktop-release> inside your home folder, and double-click Verisyntax IDE.app. If macOS warns about the locally signed development application, right-click the app, choose Open, and confirm once.

If you later copy the application to Applications, open it with:

open "<applications>/Verisyntax IDE.app"

Use Open Project… to select a folder containing one or more .vsx files. The IDE lists project files on the left. It ignores generated and dependency folders such as <version-control-metadata>, <managed-storage>, <virtual-environment>, <dependency-storage>, <build-output>, <native-build-output>, <distribution-output>, and <application-release>.