protocol.txt cleaned
Merge branch 'master' of git@github.com:moerkb/logical-workbench.git
protocol.txt updated to meeting on 25.11.2013
Merge branch 'master' of git@github.com:moerkb/logical-workbench.git