Sha256: 2427905ee2c4b56f9e1d610f5112fdeb06c0dc9b5c26a85d34074693d0244209
Contents?: true
Size: 5.67 KB
Versions: 3
Compression: gzip
Compressed size: 2.17 KB
Stored size: 2.17 KB
Contents
Version data entries
3 entries across 3 versions & 1 rubygems
| Version | Path |
|---|---|
| github-linguist-7.12.2 | grammars/source.isabelle.theory.json |
| github-linguist-7.12.1 | grammars/source.isabelle.theory.json |
| github-linguist-7.12.0 | grammars/source.isabelle.theory.json |