blob: 5ae9a2354573a1d28894d67a56ab1d328c885c0f (
plain)
1
2
3
4
5
6
7
8
9
10
|
#!/bin/sh
for i in $*; do
mv $i $i.bak
sed -e '/<span class="keyword">Proof<\/span> *\./,/<span class="keyword">\(Qed\|Defined\)<\/span> *\./d' \
-e "s/\"'do' X <- A ; B\" error_monad_scope/doXAB error_monad_scope/g" \
$i.bak > $i
rm $i.bak
done
|