Software Engineering using
Formal Methods
TDA293/DIT270, LP1, HT2012

Tweaked version of jSpin

We created a new version of jspin.jar that gives a better visual experience:

  • Syntax highlighting
  • Highlighting current line
  • Highlighting matching bracket / parenthesis
  • Auto-indentation

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