diff -r c7009356ddd8 -r c0600f8b6427 progs/matcher/re1.sc
--- a/progs/matcher/re1.sc	Wed May 29 13:25:30 2024 +0100
+++ b/progs/matcher/re1.sc	Thu Sep 19 15:47:33 2024 +0100
@@ -100,8 +100,6 @@
 
 
 // test: (a?{n}) (a{n})
-@arg(doc = "Test (a?{n}) (a{n})")
-@main
 def test1() = {
   println("Test (a?{n}) (a{n})")
 
@@ -111,8 +109,6 @@
 }
 
 // test: (a*)* b
-@arg(doc = "Test (a*)* b")
-@main
 def test2() = {
   println("Test (a*)* b")
 
@@ -165,7 +161,7 @@
 
 size(ders(("a" * 30).toList, BIG))      // 31010539
 
-@main
+
 def test3() = {
   println("Test (a + aa)*")
 
@@ -174,7 +170,7 @@
   }
 }
 
-
-@arg(doc = "All tests.")
 @main
 def all() = { test1(); test2() ; test3() } 
+
+//all()