projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4ffefb7) | patch
[Ada] Fix casing from GNATProve to GNATprove
authorPiotr Trojanek <trojanek@adacore.com>
Fri, 10 Apr 2020 17:33:44 +0000 (19:33 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 17 Jun 2020 08:14:01 +0000 (04:14 -0400)
commit137adce3902d54bce9a21add8a9a898ec067deca
tree3d6ef0c5822e0fe7a608ca289bce13704e5564f9tree
parent4ffefb704a8e805278e72ed9bee7c94c0a1401d4commit | diff
[Ada] Fix casing from GNATProve to GNATprove

2020-06-17  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

* doc/gnat_rm/implementation_defined_pragmas.rst, lib-writ.ads,
par-prag.adb, sem_ch12.adb, sem_ch8.adb, sem_prag.adb: Fix
casing of GNATprove.
* gnat_rm.texi: Regenerate.
gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst diff | blob | history
gcc/ada/gnat_rm.texi diff | blob | history
gcc/ada/lib-writ.ads diff | blob | history
gcc/ada/par-prag.adb diff | blob | history
gcc/ada/sem_ch12.adb diff | blob | history
gcc/ada/sem_ch8.adb diff | blob | history
gcc/ada/sem_prag.adb diff | blob | history