@leanprover/infoview
v0.7.7watch
rollup --config --environment NODE_ENV:development --watch build
rollup --config --environment NODE_ENV:production watchTest
npm run watch test
tsc -p test/tsconfig.json rollup --config --environment NODE_ENV:development --watch rollup --config --environment NODE_ENV:production npm run watch tsc -p test/tsconfig.json 
