It is the GUI modification of the orginial MARS 4.5
Please use
javaw.exe "-Dfile.encoding=utf-8" -jar MARS_GUI-1.0-SNAPSHOT-jar-with-dependencies.jar to run,
then your file encoding open by MARS is default UTF-8
It is the GUI modification of the orginial MARS 4.5
Please use
javaw.exe "-Dfile.encoding=utf-8" -jar MARS_GUI-1.0-SNAPSHOT-jar-with-dependencies.jar to run,
then your file encoding open by MARS is default UTF-8