7 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Valentin Robert	b76193a336	coqPackages.coq-extensible-records: support for coq 8.9 and 8.10	2019-10-29 12:42:22 +00:00
Valentin Robert	1bb56de88b	coqPackages.coq-bits: init at 20190812	2019-10-24 06:24:33 +00:00
Valentin Robert	f5dbe5de07	coqPackages.coq-extensible-records: init at 1.2.0	2019-01-30 11:30:23 +00:00
Valentin Robert	dbba364f64	nerdfonts: 1.0.0 -> 1.1.0	2017-08-31 10:45:31 +02:00
Valentin Robert	200d5c0c99	proofgeneral: revert needed deleted file	2017-05-25 12:51:04 -07:00
Valentin Robert	eaef55f699	proofgeneral_HEAD: fix for files removed upstream	2017-05-18 16:43:38 -07:00
Valentin Robert	4370f2583f	vscode: 1.2.1 -> 1.4.0	2016-08-25 13:16:51 -07:00