* kernel/Kernel.tex.nw: syncweb
* Makefile: datalog3!!
* .gitignore: datalog files!