Files
doomemacs/modules/lang
Henrik Lissner f47567e1d0 Bump :lang coq
ProofGeneral/PG@9196749 -> ProofGeneral/PG@0f0bb2c
cpitclaudel/company-coq@f9dba9d -> cpitclaudel/company-coq@7ec8058

We're also transitioning from abbreviated SHA1 hashes to full ones. See
45cdfb125 for why.

Closes #3396
2020-06-17 14:23:08 -04:00
..
2020-03-27 16:57:56 -04:00
2020-06-02 19:52:42 -04:00
2020-05-23 15:38:22 -04:00
2020-06-17 14:23:08 -04:00
2020-06-12 21:37:14 +04:30
2020-04-23 23:56:17 -04:00
2020-04-22 17:27:32 -04:00
2020-03-28 20:08:24 -04:00
2020-03-27 16:57:56 -04:00
2020-03-27 16:57:56 -04:00
2020-03-27 16:57:56 -04:00
2020-06-04 20:13:28 -04:00
2020-01-25 19:02:00 -05:00
2020-03-27 16:57:56 -04:00
2020-03-27 16:57:56 -04:00
2020-06-02 19:52:42 -04:00
2020-01-25 19:02:00 -05:00
2020-03-27 16:57:56 -04:00
2020-06-13 16:21:43 -04:00
2020-06-02 19:52:42 -04:00
2020-01-25 19:02:00 -05:00
2020-06-05 15:18:28 -04:00
2020-01-25 19:02:00 -05:00
2020-05-31 13:05:27 +02:00
2020-03-31 11:58:35 -04:00
2020-05-01 19:51:32 -04:00
2020-04-24 12:14:00 +08:00