Re: [abc] Runtime verification, abc docs, benchmarks

Eric Bodden wrote:

>Hi all.
>[...]
>
>3.) Klaus was also trying to setup abc and have it extended. He did not
>succeed right away, so I gave him quite an extensive phone tutorial,
>which convinced me of the fact that our website should really have more
>detailed information about what files are required and how an intial
>configuration would work. I am willing to update that myself if somebody
>could provide me access to the website.
>
You're very welcome to do that.
http://musketeer.comlab.ox.ac.uk/ProgToolsWiki/WebsiteEditing contains
instructions on editing the web page, though if you're at all worried
that you might break it, or need something more advanced, talk to either
myself or Heffalump on IRC.

- P
Received on Thu Jan 12 14:27:32 2006