| 2017-11-08 | Piotr Trojanek | spark_xrefs.ads (SPARK_Scope_Record): Rename Scope_Id... 2017-11-08 Piotr Trojanek <trojanek@adacore.com> |
commitcommitdifftree |
| 2017-11-08 | Piotr Trojanek | spark_xrefs.ads (SPARK_File_Record): Remove string... 2017-11-08 Piotr Trojanek <trojanek@adacore.com> |
commitcommitdifftree |
| 2017-11-08 | Piotr Trojanek | lib-xref.ads, [...] (Traverse_Declarations): Remove... 2017-11-08 Piotr Trojanek <trojanek@adacore.com> |
commitcommitdifftree |
| 2017-11-08 | Piotr Trojanek | spark_xrefs.ads (SPARK_Xref_Record): Remove inessential... 2017-11-08 Piotr Trojanek <trojanek@adacore.com> |
commitcommitdifftree |
| 2017-11-08 | Piotr Trojanek | lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Remove... 2017-11-08 Piotr Trojanek <trojanek@adacore.com> |
commitcommitdifftree |
| 2015-12-06 | Piotr Trojanek | re PR ada/60164 (Missing parenthesis in the documentation) |
commitcommitdifftree |