Changes

#285 (Nov 10, 2020 4:20:27 PM)

1. [maven-release-plugin] prepare release Release/3.0.2 (commit: cafcbab) — idhugoid / detail
2. [maven-release-plugin] prepare for next development iteration (commit: 8f453e3) — idhugoid / detail

#284 (Nov 10, 2020 3:10:34 PM)

1. Adds a check to avoid managing the console of external tools. Fixes #763 (commit: ab7de77) — idhugoid / detail

#281 (Nov 10, 2020 1:33:46 PM)

1. [maven-release-plugin] prepare release Release/3.0.2 (commit: 63f0532) — idhugoid / detail
2. [maven-release-plugin] prepare for next development iteration (commit: 54d948d) — idhugoid / detail

#278 (Nov 4, 2020 10:29:04 AM)

1. Adds a check to avoid managing the console of external tools (commit: 8fdfa29) — idhugoid / detail

#277 (Oct 30, 2020 5:22:11 PM)

1. Resumes a single thread only (commit: 79517f0) — idhugoid / detail
2. Updates the view when a thread is waiting (commit: 89d3ef8) — idhugoid / detail

#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