TODO file update

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Bump to Clojure 1.6.0

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Moved version handling code to conexp.base

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Moving some Java code around

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Cleaning up

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Update dependencies

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Moving code around

for later refactoring

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Remove defmacro-

it's already in clojure.core.incubator.

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Removed defonce-

Not needed

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Removed defvar and defvar-

Replaced defvar- by def- (private version of def).

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Fix small error in exploration test

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Update copyright note of GUI

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Add missing variable conexp-namespaces for c.c.doc

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Fixed missing import of def-

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Removed defnk

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Fixed *print-length* bug

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Some code cleanup

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Fixed typo

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Fixed bug in argument propagation of draw-lattice

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Updated TODO List

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>