src/Tools/jEdit/README_BUILD
changeset 34324 8fa2711c0fe4
child 34325 a9b94b8f545e
equal deleted inserted replaced
34323:55c23dfff096 34324:8fa2711c0fe4
       
     1 
       
     2 Requirements to build from sources
       
     3 ==================================
       
     4 
       
     5 * Netbeans 6.5beta
       
     6   http://download.netbeans.org/netbeans/6.5/beta/
       
     7 
       
     8 * Scala for Netbeans
       
     9   http://wiki.netbeans.org/Scala
       
    10   http://plugins.netbeans.org/PluginPortal/faces/PluginDetailPage.jsp?pluginid=11854
       
    11 
       
    12 * jEdit 1.4.3pre14 or similar
       
    13   http://www.jedit.org/
       
    14   Netbeans Library "jEdit" = .../jedit.jar
       
    15 
       
    16 * Flying Saucer XHTML renderer
       
    17   https://xhtmlrenderer.dev.java.net/
       
    18   Netbeans Library "Flying-Saucer" = .../core-renderer.jar
       
    19 
       
    20 * Isabelle/Pure Scala components
       
    21   Netbeans Library "Isabelle-Pure" = ~~/lib/classes/Pure.jar
       
    22