src/Tools/jEdit/README_BUILD

--- a/src/Tools/jEdit/README_BUILD	Fri Dec 04 17:14:16 2009 +0100
+++ b/src/Tools/jEdit/README_BUILD	Fri Dec 04 17:14:44 2009 +0100
@@ -27,6 +27,11 @@
   https://xhtmlrenderer.dev.java.net/
   Netbeans Library "Flying-Saucer" = .../core-renderer.jar
 
+* Cobra Renderer
+  http://lobobrowser.org/cobra.jsp
+  Netbeans Library "Cobra-Renderer" = .../cobra.jar
+  Netbenas Library "Rhino-JavaScript" = .../js.jar
+
 * Isabelle/Pure Scala components
   Netbeans Library "Isabelle-Pure" = ~~/lib/classes/Pure.jar