blob: 547a14354bc596609ddfa3d5615d3826ff23d284 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
To use, first make sure node.js and npm are installed (e.g. via the
Ubuntu package manager), then run the following in this directory:
> npm install
> npm run tsc
> ./node_modules/.bin/electron .
and point the file selector at a trace produced by sail -ocaml_trace
|
