../ figures/ 02-May-2017 18:16 - gifs/ 02-May-2017 18:16 - abstr.asc 22-Apr-2016 18:45 1096 abstr.html 22-Apr-2016 18:45 2056 jacobsen-tex 22-Apr-2016 18:45 26156 jacobsen.dvi 07-Jan-2011 16:26 0 jacobsen.pdf 22-Apr-2016 18:45 11422436 jacobsen.ps.gz 07-Jan-2011 16:26 0