summaryrefslogtreecommitdiffstats
path: root/public/prism/prism-coq.min.js
blob: 84e5fe3bb469a8ab9c60b19883cf0a832c152b5b (plain) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
generated by cgit v1.2.3 (git 2.39.1) at 2025-11-09 09:58:33 +0000