From edfcef6438a59f80939e3985b6b11512a9741339 Mon Sep 17 00:00:00 2001
From: Xawirses <xawirses@gmail.com>
Date: Thu, 20 Apr 2017 13:08:09 +0200
Subject: [PATCH] Final Project

---
 README.md                      | 9 +++++++++
 src/Main.java                  | 3 ---
 src/expression/Expression.java | 3 ---
 src/expression/Node.java       | 3 ---
 src/expression/Operator.java   | 4 ----
 src/expression/Tree.java       | 3 ---
 src/statement/Handling.java    | 3 ---
 src/statement/World.java       | 3 ---
 8 files changed, 9 insertions(+), 22 deletions(-)

diff --git a/README.md b/README.md
index deb17a5..d341977 100644
--- a/README.md
+++ b/README.md
@@ -1,8 +1,17 @@
 # DTALMP
 Démonstrateur à tableau analytiques pour les logiques modales propositionnelles
 
+## Compilation
+```
+cd src/
+javac Main.java expression/* statement/*
+```
+
 ## Exécution
 ```
+java Main
+```
+```
 Entrer Expression Infixe : 
 L(a|b)>(La|Lb)
 ```
diff --git a/src/Main.java b/src/Main.java
index 67e8d60..e98fd5b 100644
--- a/src/Main.java
+++ b/src/Main.java
@@ -2,9 +2,6 @@ import expression.Expression;
 import expression.Tree;
 import statement.Handling;
 
-/**
- * Created by xawirses on 29/03/17.
- */
 public class Main {
     public static void main(String[] args) {
         Expression e = new Expression();
diff --git a/src/expression/Expression.java b/src/expression/Expression.java
index c36a00a..cf9663b 100644
--- a/src/expression/Expression.java
+++ b/src/expression/Expression.java
@@ -5,9 +5,6 @@ import java.io.IOException;
 import java.io.InputStreamReader;
 import java.util.LinkedList;
 
-/**
-* Created by xawirses on 28/02/17.
- */
 public class Expression {
     private String expression;
     private String expressionPrefixe;
diff --git a/src/expression/Node.java b/src/expression/Node.java
index 0fd7622..466cc75 100644
--- a/src/expression/Node.java
+++ b/src/expression/Node.java
@@ -1,8 +1,5 @@
 package expression;
 
-/**
- * Created by azael on 20/03/17.
- */
 public class Node {
 
     private char node;
diff --git a/src/expression/Operator.java b/src/expression/Operator.java
index d0ff3f1..7a24164 100644
--- a/src/expression/Operator.java
+++ b/src/expression/Operator.java
@@ -1,9 +1,5 @@
 package expression;
 
-/**
- * Created by xawirses on 28/02/17.
- */
-
 public class Operator {
 
     public static final int nbOperators = 9;
diff --git a/src/expression/Tree.java b/src/expression/Tree.java
index 4890609..d13c9c8 100644
--- a/src/expression/Tree.java
+++ b/src/expression/Tree.java
@@ -2,9 +2,6 @@ package expression;
 
 import expression.Expression;
 
-/**
- * Created by azael on 20/03/17.
- */
 public class Tree {
 
     private Node root;
diff --git a/src/statement/Handling.java b/src/statement/Handling.java
index 057b118..281176e 100644
--- a/src/statement/Handling.java
+++ b/src/statement/Handling.java
@@ -2,9 +2,6 @@ package statement;
 
 import expression.Node;
 
-/**
- * Created by xawirses on 07/04/17.
- */
 public class Handling {
     private Node expression;
     private World first;
diff --git a/src/statement/World.java b/src/statement/World.java
index 1656d59..402f0ce 100644
--- a/src/statement/World.java
+++ b/src/statement/World.java
@@ -5,9 +5,6 @@ import expression.Node;
 import java.util.ArrayList;
 import java.util.Collection;
 
-/**
- * Created by xawirses on 29/03/17.
- */
 public class World {
     private static int worldId = 1;
     private String name;