docs.adacore.com/spark2014-docs/html/lrm/subprograms.html

Preview meta tags from the docs.adacore.com website.

Linked Hostnames

3

  • General Meta Tags

    4
    • title
      6. Subprograms — SPARK Reference Manual 26.0w
    • charset
      utf-8
    • generator
      Docutils 0.18.1: http://docutils.sourceforge.net/
    • viewport
      width=device-width, initial-scale=1.0

  • Link Tags

    9
    • index
      genindex.html
    • next
      packages.html
    • prev
      statements.html
    • search
      search.html
    • shortcut icon
      _static/favicon.ico

Links

3