Sha256: f573af16614061c574b15e6555348dacc386e035bac53982c0b04605b86bcc04
Contents?: true
Size: 5.98 KB
Versions: 2
Compression: gzip
Compressed size: 2.08 KB
Stored size: 2.08 KB
Contents
Version data entries
2 entries across 2 versions & 1 rubygems
| Version | Path |
|---|---|
| github-linguist-6.0.1 | grammars/source.isabelle.theory.json |
| github-linguist-6.0.0 | grammars/source.isabelle.theory.json |