/core_marking2/
drwxr-xr-x [up]
-rw-r--r-- 2022-11-09 20:51 +0000 4233 docdiff.scala
-rwxr-xr-x 2022-11-09 20:51 +0000 4580 docdiff_test.sh
-rw-r--r-- 2022-11-09 20:51 +0000 119 docdiff_test1.scala
-rw-r--r-- 2022-11-09 20:51 +0000 295 docdiff_test2.scala
-rw-r--r-- 2022-11-09 20:51 +0000 387 docdiff_test3.scala
-rw-r--r-- 2022-11-09 20:51 +0000 273 docdiff_test4.scala
-rwxr-xr-x 2022-11-09 20:51 +0000 583 mk_core2