Merge branch 'ht/mv-ext'
commitf131164879238b6448fd5830556a20285f746e46
authorHenrik Tidefelt <tidefelt@isy.liu.se>
Mon, 22 Dec 2008 23:50:11 +0000 (23 00:50 +0100)
committerHenrik Tidefelt <tidefelt@isy.liu.se>
Mon, 22 Dec 2008 23:50:11 +0000 (23 00:50 +0100)
treeb9afc0b274ad8bce32db9c1c5905e829751346bc
parent63634de691c78d536c9fe5a47f08dcc60ef151d8
parent00fd92fd6977362852388fbc9ae548243f9c48a4
Merge branch 'ht/mv-ext'

* ht/mv-ext:
  Version converter for renamed bindings in 0.4.3.
  Doc: Updating doc and examples according to changes in prelude.
  Extensions: New names for many bindings in the prelude.
  Doc: Reorganized extensions.
  Examples: Updating to take advantage of prelude.
  Extensions: Reorganizing to make use of prelude.
doc/parts/formats/html.xsl