File History
grammars/source.lean.json
in
github-linguist
14 total files
github-linguist-1.0.0
to
github-linguist-4.7.6
(111 versions)
Not present
github-linguist-4.8.0
to
github-linguist-4.8.15
(16 versions)
Download
github-linguist-4.8.16
to
github-linguist-4.8.18
(3 versions)
Download
Diff with previous
github-linguist-5.0.0
Download
Diff with previous
github-linguist-5.0.1
Not present
github-linguist-5.0.2
to
github-linguist-5.3.3
(16 versions)
Download
github-linguist-6.0.0
to
github-linguist-7.5.1
(19 versions)
Download
Diff with previous
github-linguist-7.6.0
to
github-linguist-7.8.0
(4 versions)
Download
Diff with previous
github-linguist-7.9.0
Download
Diff with previous
github-linguist-7.10.0
Download
Diff with previous
github-linguist-7.11.0
to
github-linguist-7.11.1
(2 versions)
Download
Diff with previous
github-linguist-7.12.0
to
github-linguist-7.14.0
(5 versions)
Download
Diff with previous
github-linguist-7.15.0
Download
Diff with previous
github-linguist-7.16.0
to
github-linguist-8.0.1
(20 versions)
Download
Diff with previous