--- a/progs/matcher/re4.sc	Thu May 13 13:10:38 2021 +0100
+++ b/progs/matcher/re4.sc	Mon Aug 30 14:18:08 2021 +0100
@@ -1,4 +1,4 @@
-// (ASIDE!) A version which attempts to move whole strings, 
+// (ASIDE!) A version which attempts to move entire strings, 
 // not just characters, under derivatives whenever possible
 //    
 // call the test cases with X = {1,2}
@@ -106,8 +106,7 @@
 }
 
 
-// test: (a?{n}) (a{n})
-@doc("Test (a?{n}) (a{n})")
+@arg(doc = "Test (a?{n}) (a{n})")
 @main
 def test1() = {
   for (i <- 0 to 11000 by 1000) {
@@ -115,8 +114,7 @@
   }
 }
 
-// test: (a*)* b
-@doc("Test (a*)* b")
+@arg(doc = "Test (a*)* b")
 @main
 def test2() = {
   for (i <- 0 to 7000000 by 500000) {
@@ -124,7 +122,7 @@
   }
 } 
 
-@doc("All tests.")
+@arg(doc = "All tests.")
 @main
 def all() = { test1(); test2() } 
 
@@ -163,3 +161,7 @@
 // test: ("" | "a" | "aa")*
 val EVIL4 = STAR(ALT(ONE, ALT(CHAR('a'), SEQ(CHAR('a'), CHAR('a')))))
 
+
+
+
+// runs with amm2 and amm3