ignore files

TODO.txt

-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

build.xml

-<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