modified references for urls to show up, inserted reference for coq files