.proDistinct files in the full Software Heritage archive (2026-06-04 export), dated by first appearance, following Desmazières, Di Cosmo, Lorentz (MSR 2025). Case-aggregated. citation.
Case variants in archive: .pro (3.8M), .PRO (15.9K), .PRo (571), .Pro (220) — aggregated above.
This extension is attributed to COOL; IDL; OpenCL; Proguard; Prolog; QMake as primary by 9 authoritative claims.
.pro among their extensions. Strength reflects whether the upstream source treated it as their primary extension.| Language | Source | Strength |
|---|---|---|
| COOL | pygments | primary |
| IDL | linguist | primary |
| IDL | pygments | primary |
| OpenCL | pygments | primary |
| Proguard | linguist | primary |
| Proguard | pygments | primary |
| Prolog | wikidata | primary |
| QMake | linguist | primary |
| QMake | pygments | primary |
| ECLiPSe | pygments | secondary |
| ini | linguist | secondary |
| Prolog | linguist | secondary |
| Prolog | pygments | secondary |
.pro on Wikidata
(property P1195) or in the Wikipedia infobox.
Source: data/derived/external_extension_index.csv.
Click Use as new PL on any row to open the
Add-PL form pre-filled with that entry's name, Wikipedia/Wikidata
URL, and this extension — one submission creates the PL + claim.
| Format | Class (Wikidata P31) | Suggested label | MIME | Notes | Action |
|---|---|---|---|---|---|
| ChordPro Q5616826 simple markup for chords and lyrics | file format | — | — | — | Use as new PL ↗ |
| APE ProSystem Atari 8-bit disk image (v2) Q105858124 file format | file format | — | application/octet-stream | — | Use as new PL ↗ |
| APE ProSystem Atari 8-bit disk image (v3) Q105857870 file format | file format | — | application/octet-stream | — | Use as new PL ↗ |
.pro file actually is.| Rule | Predicts | Kind | Predicates (truncated) | Measured on SWH |
|---|---|---|---|---|
h/linguist/.pro/0 | Proguard | predicates | [{"kind": "any", "regexes": ["^-(include\\b.*\\.pro$|keep\\b|keepclassmembers\\b|keepattributes\\b)"]}] | |
h/linguist/.pro/1 | Prolog | predicates | [{"kind": "any", "regexes": ["^[^\\[#]+:-"]}] | |
h/linguist/.pro/2 | ini | predicates | [{"kind": "any", "regexes": ["last_client="]}] | |
h/linguist/.pro/3 | QMake | predicates | [{"kind": "any", "regexes": ["HEADERS"]}, {"kind": "any", "regexes": ["SOURCES"]}] | |
h/linguist/.pro/4 | IDL | predicates | [{"kind": "any", "regexes": ["^\\s*(?i:function|pro|compile_opt) \\w[ \\w,:]*$"]}] |