From 9f77865c7db39772ec4e372c82b90efe7304c031 Mon Sep 17 00:00:00 2001
From: hansen <dominik_hansen@web.de>
Date: Thu, 6 Nov 2014 14:15:51 +0100
Subject: [PATCH] ignore files

---
 TODO.txt  | 5 -----
 build.xml | 6 ------
 2 files changed, 11 deletions(-)
 delete mode 100644 TODO.txt
 delete mode 100644 build.xml

diff --git a/TODO.txt b/TODO.txt
deleted file mode 100644
index 6197e62..0000000
--- a/TODO.txt
+++ /dev/null
@@ -1,5 +0,0 @@
-Validation of generated trace files: Parsing the trace files
-
-Missing constructs:
- - SEES, INCLUDES, REFINES, IMPORTS
- - sequential composition, while loop
\ No newline at end of file
diff --git a/build.xml b/build.xml
deleted file mode 100644
index 52dcde6..0000000
--- a/build.xml
+++ /dev/null
@@ -1,6 +0,0 @@
-<project default="copy">
-    <target name="copy">
-       <copy file="build/tlc4b/TLC4B.jar" tofile="../../Desktop/ProB/lib/TLC4B.jar"/>
-       <copy file="build/tlc4b/TLC4B.jar" tofile="/Users/hansen/git/prob_prolog/lib/TLC4B.jar"/>
-    </target>
-</project>
\ No newline at end of file
-- 
GitLab