Minor corrections
Merge branch 'master' of github.com:phimuemue/tasks_time
Corrected profile export
Corrected syntax errors
Several improvements in theory
Improved output routine
New exporter for command line
New final figure for P2
Rudimentary tree output on command line
Some corrections
Extended bibliography
Clarifications in algorithms
Improved suboptimal strategies
Theory stuff
Minor improvements in code
Minor stuff
Python stuff
Minor changes in program
Python tree generator stuff
Set of changes in thesis