I work with healthcare data in an offline research environment (i.e. no internet connectivity). I'm unable to run ProM because I cannot connect to the package repository.
I found instructions for downloading a local copy of the package repository using wget -r -l 0 http://packages.promtools.org/
; - however this only downloads the index page.
I'm uncertain what to try next - does anyone have any ideas / solved this problem before?