10 Commits

Author	SHA1	Message	Date
Vincent Laporte	8cc3fcdfd4	proofgeneral_HEAD: 2017-11-06 -> 2018-01-30	2018-02-08 06:24:14 +00:00
Vincent Laporte	48f9d48a51	proofgeneral_HEAD: 2017-05-06 -> 2017-11-06	2017-11-16 00:01:42 +00:00
Valentin Robert	eaef55f699	proofgeneral_HEAD: fix for files removed upstream	2017-05-18 16:43:38 -07:00
Sophie Taylor	fb0410c208	proofgeneral: 2017-03-13 -> 2017-05-06 (#25695)	2017-05-11 07:36:00 +01:00
rht	31b0e34d1d	Use consistent package naming for HEAD.nix files	2017-05-09 10:31:15 +07:00
Vincent Laporte	09e814c681	proofgeneral_HEAD: Bump	2017-03-22 01:36:35 +00:00
Shea Levy	6651c72df1	proofgeneral_HEAD: Bump	2017-02-11 21:01:56 -05:00
Shea Levy	d1154edf44	proofgeneral_HEAD: bump	2016-09-05 11:43:10 -04:00
Tuomas Tynkkynen	bac26e08db	Fix lots of fetchgit hashes (fallout from #15469)	2016-06-03 17:17:08 +03:00
John Wiegley	0ee75214f3	proofgeneral_HEAD: New expr: Proof General from GitHub	2016-03-07 07:16:04 -08:00