--- a/r4/animal.r4 Sun Jun 27 11:57:53 2010 +1200
+++ b/r4/animal.r4 Sat Jul 17 13:12:48 2010 +1200
@@ -1,4 +1,4 @@
-: animal module "http://eighty-twenty.org/etng/r4/ns/animal#" [:platform]->
+: animal module [:platform]->
: name
: speak
--- a/r4/instruction.r4 Sun Jun 27 11:57:53 2010 +1200
+++ b/r4/instruction.r4 Sat Jul 17 13:12:48 2010 +1200
@@ -1,4 +1,4 @@
-: instruction module "http://eighty-twenty.org/etng/r4/ns/instruction#" [:platform]->
+: instruction module []->
: instruction struct (id parent instruction-type source output clobbered next-live generator)
--- a/r4/stream-refinements.r4 Sun Jun 27 11:57:53 2010 +1200
+++ b/r4/stream-refinements.r4 Sat Jul 17 13:12:48 2010 +1200
@@ -1,4 +1,4 @@
-: stream module "http://eighty-twenty.org/etng/r4/ns/stream#" [:platform]->
+: stream module []->
: next
: yield
: skip
--- a/r4/stream.r4 Sun Jun 27 11:57:53 2010 +1200
+++ b/r4/stream.r4 Sat Jul 17 13:12:48 2010 +1200
@@ -1,4 +1,4 @@
-: stream module "http://eighty-twenty.org/etng/r4/ns/stream#" [:platform]->
+: stream module []->
: next
: yield
: skip