[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] gnu: Add proof-general
|
From: |
Ludovic Courtès |
|
Subject: |
Re: [PATCH] gnu: Add proof-general |
|
Date: |
Mon, 08 Jun 2015 21:20:29 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) |
Mark H Weaver <address@hidden> skribis:
> From e9d66801024e66c39b8ee0d84a10ddc4e6b7a18b Mon Sep 17 00:00:00 2001
> From: Mark H Weaver <address@hidden>
> 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’.