proof and state output added
integrated some hlint suggestions
added emacs mode for tct
added showProof switch to interactive mode
added moduleheader to DependencyGraph
reimplemented removeInapplicable processor
fixed dependencies
removed inline processor, unsound in current implementation
minor bugfixes to tct.el
removed inner timeouts in rci strategy
adapted rc2012 processor to new version of simplifications
compose: do not return Yes(?,?)
added timeouts to rc2012 strategy again
pushed version numbers of mtl and containers again
rc2012: added try before simp
resolved warnings in NatrualMI
added partitionIndependent to Tct.instances, improved toDP,
added timeouts properly to competition strategy
edgstar properly checks for Q-normal-forms
Merge branch 'master' of colo2-c703.uibk.ac.at:tct/tct
tct.el: tct-quit quits interactive and dired