adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

autocorres: fix web link in quickstart document 

Reported by Zilin C.
This commit is contained in:
Japheth Lim 2016-05-20 17:34:58 +10:00
parent be9f73e0ec
commit a9e3db44ab
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
tools/autocorres/doc/quickstart/document/root.bib
View File

@ -9,9 +9,9 @@
@misc{autocorres,
author={David Greenaway},
title={{AutoCorres} tool},
url= {http://ssrg.nicta.com.au/projects/TS/autocorres/},
year = 2014,
note = {Accessed August 2014},
url= {https://ssrg.nicta.com.au/projects/TS/autocorres/},
year = 2016,
note = {Accessed May 2016},
doi = {10.5281/zenodo.11248},
}
@ -20,8 +20,8 @@
title = {{C-to-Isabelle} Parser, version 1.13.0},
year = 2013,
month = may,
url = {http://ertos.nicta.com.au/software/c-parser/},
note = {Accessed July 2014}
url = {https://ssrg.nicta.com.au/software/TS/c-parser/},
note = {Accessed May 2016}
}
@book{C11,