Closed STOALM closed 6 years ago
When opening the PVS documentation (dictionary) This window shows up:
Please, check in the new version whether this issues is still appearing, otherwise, we may close it. :point_up:
@STOALM I have just solved this issues, please update it . Thanks!. :potato: :sweet_potato:
When opening the PVS documentation (dictionary) This window shows up: