[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] ProofGeneral

From: Ralf Hemmecke
Subject: [Axiom-developer] ProofGeneral
Date: Wed, 16 May 2007 21:01:23 +0200
User-agent: Thunderbird (X11/20070326)

Could someone have a look at

Eclipse-Plugin at:

Bill, that is from the answer of Christoph Lüth whom I asked about the project You sent me that that link recently in connection with literate programming in eclipse.

I currently have no time. Is there some stuff in this plugin that is connected with literate programming?


reply via email to

[Prev in Thread] Current Thread [Next in Thread]