/progs/scala/
drwxr-xr-x [up]
-rw-r--r-- 2017-08-27 00:03 +0300 27395 autos.scala
-rw-r--r-- 2017-08-27 00:03 +0300 9979 nfas.scala
-rw-r--r-- 2017-08-27 00:03 +0300 4573 positions.scala
-rw-r--r-- 2017-08-27 00:03 +0300 6365 re-basic.scala
-rw-r--r-- 2017-08-27 00:03 +0300 9074 re-bit.scala
-rw-r--r-- 2017-08-27 00:03 +0300 11789 re-ext.scala
-rw-r--r-- 2017-08-27 00:03 +0300 10947 re-simp.scala
-rw-r--r-- 2017-08-27 00:03 +0300 18522 re.scala
-rw-r--r-- 2017-08-27 00:03 +0300 8160 tests.scala