# HG changeset patch
# User kono
# Date 979991220 -32400
# Node ID 0d896bcc1061bd400fcd456564d58ebaa5d1f2fb
# Parent  d2aa6137e9a98d43b95faad94d9f1857603cee20
*** empty log message ***

diff -r d2aa6137e9a9 -r 0d896bcc1061 ex.pl
--- a/ex.pl	Sat Jan 20 18:14:58 2001 +0900
+++ b/ex.pl	Sat Jan 20 20:47:00 2001 +0900
@@ -253,4 +253,12 @@
       st(ns0)
       )) :- ensure_loaded(kiss_ex).
 
+% Infinite Interval
+
+ex(400,infinite).
+ex(401,*infinite).
+ex(402,*skip).
+ex(403,*length(5)).
+ex(403,~('<>'(empty))).
+
 /* end */
diff -r d2aa6137e9a9 -r 0d896bcc1061 problems
--- a/problems	Sat Jan 20 18:14:58 2001 +0900
+++ b/problems	Sat Jan 20 20:47:00 2001 +0900
@@ -1,3 +1,8 @@
+Sat Jan 20 18:16:33 JST 2001
+
+とりあえず、more_only は、more にいくものが何かあれば許すと言うことに
+しました。
+
 Sat Jan 20 03:38:14 JST 2001
 
 demo(15) の infinite が止まらない。loop detection の計算量が