src/Tools/jEdit/README_BUILD
author wenzelm
Mon, 20 Oct 2008 11:35:27 +0200
changeset 34324 8fa2711c0fe4
child 34325 a9b94b8f545e
permissions -rw-r--r--
Requirements to build from sources.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
34324
8fa2711c0fe4 Requirements to build from sources.
wenzelm
parents:
diff changeset
     1
8fa2711c0fe4 Requirements to build from sources.
wenzelm
parents:
diff changeset
     2
Requirements to build from sources
8fa2711c0fe4 Requirements to build from sources.
wenzelm
parents:
diff changeset
     3
==================================
8fa2711c0fe4 Requirements to build from sources.
wenzelm
parents:
diff changeset
     4
8fa2711c0fe4 Requirements to build from sources.
wenzelm
parents:
diff changeset
     5
* Netbeans 6.5beta
8fa2711c0fe4 Requirements to build from sources.
wenzelm
parents:
diff changeset
     6
  http://download.netbeans.org/netbeans/6.5/beta/
8fa2711c0fe4 Requirements to build from sources.
wenzelm
parents:
diff changeset
     7
8fa2711c0fe4 Requirements to build from sources.
wenzelm
parents:
diff changeset
     8
* Scala for Netbeans
8fa2711c0fe4 Requirements to build from sources.
wenzelm
parents:
diff changeset
     9
  http://wiki.netbeans.org/Scala
8fa2711c0fe4 Requirements to build from sources.
wenzelm
parents:
diff changeset
    10
  http://plugins.netbeans.org/PluginPortal/faces/PluginDetailPage.jsp?pluginid=11854
8fa2711c0fe4 Requirements to build from sources.
wenzelm
parents:
diff changeset
    11
8fa2711c0fe4 Requirements to build from sources.
wenzelm
parents:
diff changeset
    12
* jEdit 1.4.3pre14 or similar
8fa2711c0fe4 Requirements to build from sources.
wenzelm
parents:
diff changeset
    13
  http://www.jedit.org/
8fa2711c0fe4 Requirements to build from sources.
wenzelm
parents:
diff changeset
    14
  Netbeans Library "jEdit" = .../jedit.jar
8fa2711c0fe4 Requirements to build from sources.
wenzelm
parents:
diff changeset
    15
8fa2711c0fe4 Requirements to build from sources.
wenzelm
parents:
diff changeset
    16
* Flying Saucer XHTML renderer
8fa2711c0fe4 Requirements to build from sources.
wenzelm
parents:
diff changeset
    17
  https://xhtmlrenderer.dev.java.net/
8fa2711c0fe4 Requirements to build from sources.
wenzelm
parents:
diff changeset
    18
  Netbeans Library "Flying-Saucer" = .../core-renderer.jar
8fa2711c0fe4 Requirements to build from sources.
wenzelm
parents:
diff changeset
    19
8fa2711c0fe4 Requirements to build from sources.
wenzelm
parents:
diff changeset
    20
* Isabelle/Pure Scala components
8fa2711c0fe4 Requirements to build from sources.
wenzelm
parents:
diff changeset
    21
  Netbeans Library "Isabelle-Pure" = ~~/lib/classes/Pure.jar
8fa2711c0fe4 Requirements to build from sources.
wenzelm
parents:
diff changeset
    22