/core_marking2/
drwxr-xr-x [up]
-rw-r--r-- 2024-06-13 13:13 +0100 4233 docdiff.scala
-rwxr-xr-x 2024-06-13 13:13 +0100 4639 docdiff_test.sh
-rw-r--r-- 2024-06-13 13:13 +0100 119 docdiff_test1.scala
-rw-r--r-- 2024-06-13 13:13 +0100 295 docdiff_test2.scala
-rw-r--r-- 2024-06-13 13:13 +0100 387 docdiff_test3.scala
-rw-r--r-- 2024-06-13 13:13 +0100 273 docdiff_test4.scala
-rwxr-xr-x 2024-06-13 13:13 +0100 583 mk_core2