Commit 1e9ce138 authored by Ludovic Apvrille's avatar Ludovic Apvrille
Browse files

Adding common math lib

parent 0716023d
......@@ -19,8 +19,9 @@
<root url="jar://$PROJECT_DIR$/libs/derbynet.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/junit-4.12.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/derbyclient-10.9.1.0.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/commons-math3-3.6.1.jar" />
</CLASSES>
<JAVADOC />
<SOURCES />
</library>
</component>
\ No newline at end of file
</component>
This diff is collapsed.
......@@ -59,6 +59,8 @@ import java.awt.event.ActionEvent;
import java.awt.event.ActionListener;
import java.util.*;
/**
* Class JDialogDSE
* Dialog for managing the generation of ProVerif code and execution of
......
Manifest-Version: 1.0
Class-Path: jsoup-1.8.1.jar commons-codec-1.10.jar gs-core-1.3.jar gs-ui-1.3.jar commons-io-2.5.jar
Class-Path: jsoup-1.8.1.jar commons-codec-1.10.jar gs-core-1.3.jar gs-ui-1.3.jar commons-io-2.5.jar commons-math3-3.6.1.jar
Main-Class: Main
Main-Class: Main
Class-Path: ./jsoup-1.8.1.jar ./commons-codec-1.10.jar ./gs-core-1.3.jar ./gs-ui-1.3.jar ./commons-io-2.5.jar
Class-Path: ./commons-math3-3.6.1.jar ./jsoup-1.8.1.jar ./commons-codec-1.10.jar ./gs-core-1.3.jar ./gs-ui-1.3.jar ./commons-io-2.5.jar
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment