|
From: | Ralf Hemmecke |
Subject: | [Axiom-developer] ProofGeneral |
Date: | Wed, 16 May 2007 21:01:23 +0200 |
User-agent: | Thunderbird 2.0.0.0 (X11/20070326) |
Could someone have a look at http://proofgeneral.inf.ed.ac.uk/kit Eclipse-Plugin at: http://proofgeneral.inf.ed.ac.uk/eclipseBill, that is from the answer of Christoph Lüth whom I asked about the project http://www.informatik.uni-bremen.de/~cxl/eig/index.html. 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?
Ralf
[Prev in Thread] | Current Thread | [Next in Thread] |