/progs/scala/
drwxr-xr-x [up]
-rw-r--r-- 2019-08-22 01:11 +0200 27395 autos.scala
-rw-r--r-- 2019-08-22 01:11 +0200 9979 nfas.scala
-rw-r--r-- 2019-08-22 01:11 +0200 4573 positions.scala
-rw-r--r-- 2019-08-22 01:11 +0200 6610 re-basic.scala
-rw-r--r-- 2019-08-22 01:11 +0200 14467 re-bit.scala
-rw-r--r-- 2019-08-22 01:11 +0200 11789 re-ext.scala
-rw-r--r-- 2019-08-22 01:11 +0200 10947 re-simp.scala
-rw-r--r-- 2019-08-22 01:11 +0200 18523 re.scala
-rw-r--r-- 2019-08-22 01:11 +0200 8226 tests.scala