log vext.sml @ 1721:bf8a5ce8fb62 vext

age author description
Wed, 28 Jun 2017 13:20:05 +0100 Chris Cannam Update vext; providers -> services vext
Mon, 26 Jun 2017 11:54:23 +0100 Chris Cannam Update vext output-type-uri