diff -r 0c666a0c57d7 -r aef235b965bb thys2/Journal/RegLangs.tex