Add case for when no ROOT file provided

Twigonometry / IsabelleDSL

IsabelleDSL (iDSL) is a framework for generating Domain-Specific Languages from specifications written in Isabelle

0 stars 0 forks source link

Closed Twigonometry closed 2 years ago

Twigonometry commented 2 years ago

This should be done by deadline, as it leave a gaping hole in system if ROOT file missed off

Twigonometry commented 2 years ago

Closed by 3c5fec4e