src/Tools/jEdit/README_BUILD
changeset 34745 83b553bd3fa3
parent 34743 eb49306946f4
child 34755 bc255171994b
equal deleted inserted replaced
34744:30fba76e6cc2 34745:83b553bd3fa3
    25 
    25 
    26 * Flying Saucer XHTML renderer
    26 * Flying Saucer XHTML renderer
    27   https://xhtmlrenderer.dev.java.net/
    27   https://xhtmlrenderer.dev.java.net/
    28   Netbeans Library "Flying-Saucer" = .../core-renderer.jar
    28   Netbeans Library "Flying-Saucer" = .../core-renderer.jar
    29 
    29 
       
    30 * Cobra Renderer
       
    31   http://lobobrowser.org/cobra.jsp
       
    32   Netbeans Library "Cobra-Renderer" = .../cobra.jar
       
    33   Netbenas Library "Rhino-JavaScript" = .../js.jar
       
    34 
    30 * Isabelle/Pure Scala components
    35 * Isabelle/Pure Scala components
    31   Netbeans Library "Isabelle-Pure" = ~~/lib/classes/Pure.jar
    36   Netbeans Library "Isabelle-Pure" = ~~/lib/classes/Pure.jar
    32 
    37 
    33 
    38 
    34 Running the application within Netbeans
    39 Running the application within Netbeans