/progs/scala/
drwxr-xr-x [up]
-rw-r--r-- 2017-12-07 12:45 +0000 27395 autos.scala
-rw-r--r-- 2017-12-07 12:45 +0000 9979 nfas.scala
-rw-r--r-- 2017-12-07 12:45 +0000 4573 positions.scala
-rw-r--r-- 2017-12-07 12:45 +0000 6365 re-basic.scala
-rw-r--r-- 2017-12-07 12:45 +0000 9074 re-bit.scala
-rw-r--r-- 2017-12-07 12:45 +0000 11789 re-ext.scala
-rw-r--r-- 2017-12-07 12:45 +0000 10947 re-simp.scala
-rw-r--r-- 2017-12-07 12:45 +0000 18522 re.scala
-rw-r--r-- 2017-12-07 12:45 +0000 8160 tests.scala