Software Engineering using Formal Methods |
TDA293/DIT270, LP1, HT2012 |
Tweaked version of jSpinWe created a new version of jspin.jar that gives a better visual experience:
Installation: Replace the original jspin.jar with this file. Alternatively, in the folder where jspin.jar resides, execute the following commands: $ mv jspin.jar oldjspin.jar $ wget http://www.cse.chalmers.se/edu/course/TDA293/jspin.jar And you're done. Before / After: ![]() ![]() Bug reports to Bart van Delft. | |
Home | Course | Schedule | Exam | Exercises | Labs | Eval | Tools | W. Ahrendt J. Svenningsson M. Wang , Sep 19, 2012 |