Closed jambolo closed 5 years ago
Specifying the notation system at run-time (with a command line parameter, perhaps) would be better that configuring with CMake.
Done in commit a63b11a49a10621aee9b7a61ac8dfd8a547be747.
Specifying the notation system at run-time (with a command line parameter, perhaps) would be better that configuring with CMake.