diff -r dca072e2bb7d -r b0352633bf48 progs/matcher/re1.sc
--- a/progs/matcher/re1.sc	Thu May 13 13:10:38 2021 +0100
+++ b/progs/matcher/re1.sc	Mon Aug 30 14:18:08 2021 +0100
@@ -7,6 +7,8 @@
 // or 
 //
 //   amm re1.sc all
+//
+
  
 // regular expressions
 abstract class Rexp
@@ -96,7 +98,7 @@
 
 
 // test: (a?{n}) (a{n})
-@doc("Test (a?{n}) (a{n})")
+@arg(doc = "Test (a?{n}) (a{n})")
 @main
 def test1() = {
   println("Test (a?{n}) (a{n})")
@@ -107,7 +109,7 @@
 }
 
 // test: (a*)* b
-@doc("Test (a*)* b")
+@arg(doc = "Test (a*)* b")
 @main
 def test2() = {
   println("Test (a*)* b")
@@ -158,7 +160,7 @@
 
 size(ders(("ab" * 200).toList, BIG))    // 366808
 
-@doc("Test (a + b)* o (a o b) o (a + b)*")
+@arg(doc = "Test (a + b)* o (a o b) o (a + b)*")
 @main
 def test3() = {
   println("Test (a + b)* o (a o b) o (a + b)*")
@@ -171,6 +173,10 @@
 
 
 
-@doc("All tests.")
+@arg(doc = "All tests.")
 @main
 def all() = { test1(); test2() ; test3() } 
+
+
+
+// runs with amm2 and amm3