/etng-r1/ default tip
drwxr-xr-x [up]
drwxr-xr-x old
-rw-r--r-- 2019-01-16 17:15 +0000 13480 alternaparse.scm
-rw-r--r-- 2019-01-16 17:15 +0000 2431 boot.tng
-rw-r--r-- 2019-01-16 17:15 +0000 10853 coreetng.hs
-rw-r--r-- 2019-01-16 17:15 +0000 5246 eTNG.mm
-rw-r--r-- 2019-01-16 17:15 +0000 6280 etng-r1.el
-rw-r--r-- 2019-01-16 17:15 +0000 598 expand-qname.scm
-rw-r--r-- 2019-01-16 17:15 +0000 4976 main.scm
-rw-r--r-- 2019-01-16 17:15 +0000 3804 metaeval.tng
-rw-r--r-- 2019-01-16 17:15 +0000 5121 node.scm
-rw-r--r-- 2019-01-16 17:15 +0000 4645 oo.scm
-rw-r--r-- 2019-01-16 17:15 +0000 2030 patrewrite.hs
-rw-r--r-- 2019-01-16 17:15 +0000 798 repl-example.tng
-rw-r--r-- 2019-01-16 17:15 +0000 4222 test3.tng