search

Twigonometry / IsabelleDSL

IsabelleDSL (iDSL) is a framework for generating Domain-Specific Languages from specifications written in Isabelle
0 stars 0 forks source link

Add double verbose mode #15

Open Twigonometry opened 2 years ago

Twigonometry commented 2 years ago

Add a second level of verbosity, to allow showing all exports from the isabelle build.

Decide what information is necessary in first level of verbosity, e.g. full filepaths of exports.