UB26-005 Add tasks to Prove line/region - Githubissues

AdaCore / ada_language_server

Server implementing the Microsoft Language Protocol for Ada and SPARK

GNU General Public License v3.0

235 stars 55 forks source link

UB26-005 Add tasks to Prove line/region #928

Closed yannickmoy closed 2 years ago

yannickmoy commented 2 years ago

Rename all GNATprove tasks to be "Prove xxx" like in GNAT Studio.