Commit Graph

3 Commits

Author SHA1 Message Date
dbca4eef12 Put company features behind conditional 2018-08-21 13:44:11 +02:00
f5c1be44ba Added quelpa recipe 2018-08-15 08:33:38 +02:00
fa223ceafd Added basic coq support 2018-08-14 23:21:55 +02:00