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

On Thu, 12 Jan 2006, Pavel Avgustinov wrote:

> 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.

In particular if you need to update the page for an individual release,
rather than the general website, talk to me first, or make sure you
understand how the templating scheme for that area works (it's not all
that complicated, there is one template that can cover multiple releases,
but every so often it needs updating for a new release so we make a new
one and bump a version number, so that old releases still use the old
template).

Ganesh
Received on Thu Jan 12 15:08:07 2006