lists/reverse.trs fixed thanks to Nao.
corrected error in quicksort.trs
quicksort.trs fixed
DG graphviz output produces labels
progress check of LinearPathAnalysis relaxed
slight improvement in Matrix output
Matrix: properly account for usable symbols
toInnermost checks for empty weak rules
weightgap: turn of usable rules
>>>: proof output simplified
fixed compile error
fixed compile error
Merge branch 'master' of colo2-c703.uibk.ac.at:tct/tct
Merge branch 'master' of colo2-c703.uibk.ac.at:tct/tct
Merge branch 'master' of colo2-c703.uibk.ac.at:tct/tct
fixed toInnermost
examples/bits.trs corrected
default kind for matrixes is automaton
pretty printing of transformation (>>>) cleared
Type of Interactive Proof Tree changed