[Axiom-developer] ProofGeneral

[Ralf Hemmecke]

Could someone have a look at
http://proofgeneral.inf.ed.ac.uk/kit

Eclipse-Plugin at:
http://proofgeneral.inf.ed.ac.uk/eclipse

Bill, 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