usethesource / rascal-maven-plugin

The Maven plugin for Rascal checking, compilation, testing, code generation applications integration and documentation generation.
2 stars 2 forks source link

make use of the new progress bar monitor in interactive mode, while remaining with the logger MojoRascalMonitor in batch mode #19

Closed jurgenvinju closed 3 months ago

jurgenvinju commented 5 months ago