equal
deleted
inserted
replaced
|
1 description = graph browser |
|
2 lib = . |
|
3 name = GraphBrowser |
|
4 javac_options = -source 7 -target 7 |
|
5 sources = \ |
|
6 GraphBrowser/AWTFontMetrics.java \ |
|
7 GraphBrowser/AbstractFontMetrics.java \ |
|
8 GraphBrowser/Box.java \ |
|
9 GraphBrowser/Console.java \ |
|
10 GraphBrowser/DefaultFontMetrics.java \ |
|
11 GraphBrowser/Directory.java \ |
|
12 GraphBrowser/DummyVertex.java \ |
|
13 GraphBrowser/Graph.java \ |
|
14 GraphBrowser/GraphBrowser.java \ |
|
15 GraphBrowser/GraphBrowserFrame.java \ |
|
16 GraphBrowser/GraphView.java \ |
|
17 GraphBrowser/NormalVertex.java \ |
|
18 GraphBrowser/ParseError.java \ |
|
19 GraphBrowser/Region.java \ |
|
20 GraphBrowser/Spline.java \ |
|
21 GraphBrowser/TreeBrowser.java \ |
|
22 GraphBrowser/TreeNode.java \ |
|
23 GraphBrowser/Vertex.java \ |
|
24 awtUtilities/Border.java \ |
|
25 awtUtilities/MessageDialog.java \ |
|
26 awtUtilities/TextFrame.java |