Changes

#274 (Sep 10, 2020 9:45:42 AM)

1. Adds use let def strict option to the project properties (commit: bca2a6a) — idhugoid / detail

#272 (Sep 8, 2020 3:48:50 PM)

1. Adds strict option to the launch configuration (commit: 915dddc) — idhugoid / detail

#269 (Aug 28, 2020 10:41:41 AM)

1. [maven-release-plugin] prepare release Release/3.0.0 (commit: c179d6b) — idhugoid / detail
2. [maven-release-plugin] prepare for next development iteration (commit: 42ea313) — idhugoid / detail

#265 (Aug 24, 2020 9:14:00 AM)

1. Moves the console for the current process to the front (commit: d945c81) — idhugoid / detail

#264 (Aug 21, 2020 4:14:58 PM)

1. Fix condition (commit: 0dee778) — idhugoid / detail
2. Show VdmDebugConsole on top in the View (commit: 52901b2) — idhugoid / detail

#261 (Aug 18, 2020 4:55:07 PM)

1. Calls coverage before terminating the interpreter (commit: 4f23db6) — idhugoid / detail

#260 (Aug 18, 2020 3:46:58 PM)

1. Calls coverage before terminating the interpreter (commit: 926d272) — idhugoid / detail

#258 (Aug 14, 2020 3:39:52 PM)

1. Checks whether the DBGP response has a value to print (commit: 7ef5f51) — idhugoid / detail

#257 (Aug 14, 2020 3:10:57 PM)

1. Adds support for DBGP messages and Rmoves dead code (commit: a46e1d4) — idhugoid / detail

#256 (Aug 14, 2020 2:41:31 PM)

1. Brings the VDM console of a launch to the front of the view (commit: 1e83f91) — idhugoid / detail

#254 (Aug 13, 2020 9:58:12 AM)

1. Waits for result of coverage and prints message Fixes #716 (commit: 134c0be) — idhugoid / detail

#252 (Aug 7, 2020 2:31:21 PM)

1. Indents xml (commit: 7b53e3c) — idhugoid / detail
2. Bump version number (commit: 185e89d) — idhugoid / detail