subject:"\[PATCH\] gnu\: Add proof\-general"

Re: [PATCH] gnu: Add proof-general

2015-06-08 Thread Ludovic Courtès

Mark H Weaver skribis: > From e9d66801024e66c39b8ee0d84a10ddc4e6b7a18b Mon Sep 17 00:00:00 2001 > From: Mark H Weaver > Date: Mon, 8 Jun 2015 05:05:23 -0400 > Subject: [PATCH] gnu: Add proof-general. > > * gnu/packages/ocaml.scm (proof-general): New variable. Sure, thank you! Ludo’.

[PATCH] gnu: Add proof-general

2015-06-08 Thread Mark H Weaver

>From e9d66801024e66c39b8ee0d84a10ddc4e6b7a18b Mon Sep 17 00:00:00 2001 From: Mark H Weaver Date: Mon, 8 Jun 2015 05:05:23 -0400 Subject: [PATCH] gnu: Add proof-general. * gnu/packages/ocaml.scm (proof-general): New variable. --- gnu/packages/ocaml.scm |