Path to langtool
[Org] add the todo file on zamok to the agenda
[Editing] Reactivate auto-complete
New Dedukti position format
Merge branch 'master' of http://github.com/rafoo/my-emacs-config

Conflicts:
	.emacs