Closed inodlite closed 3 years ago
It was an experiment and current PIE3 formal is working fine with most same features present in it.
We should at least remove writing code and add (deprecated) note on readers, so people migrate any remaining WZM files into PIE or OBJs.
Also need to update Readme and About dialog to reflect this change.
It was an experiment and current PIE3 formal is working fine with most same features present in it.
We should at least remove writing code and add (deprecated) note on readers, so people migrate any remaining WZM files into PIE or OBJs.