GEX thesis source code, full text, references
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
gex-thesis/formalize2.sh

12 lines
180 B

#/bin/bash
if [[ "$1" == "" ]]; then
echo "missing arg"
exit
fi
echo "Processing $1"
sed -i 's/ \\ref/~\\ref/g' "$1"
sed -i 's/ \cite/~\cite/g' "$1"
git diff --word-diff "$1"