-
MARCHE Claude authored
IDE: context menu now contains more or less the items that were in the left toolbar in former versions of Why3
a526c45d
IDE: context menu now contains more or less the items that were in the left toolbar in former versions of Why3