never-displayed
View discussion in a popup
my lab is based on VDM 2.1, hope this bug will be solved in future.
-
Idleness is not doing nothing. Idleness is being free to do anything.