#!/bin/zsh

grep -Hni 'multi-version' *.tex
grep -Hn  '\\paragraph{[^}]*[^.]}' *.tex
grep -Hn  '[^~]([0-9])' protocol.tex | grep -v '([0-9])~'
grep -Hni '\(client\|time\|timestamp\)s?[^~][0-9]' protocol.tex
grep -Hni 'plain occ' evaluation.tex
grep -Hni 'read-write' *.tex