Version 1.2 released, better Verilog support using Icarus Verilog, better syntax highlighter, etc