/
drwxr-xr-x t
drwxr-xr-x tools
-rw-r--r-- 2015-04-20 16:01 +0200 17 .hgignore
-rw-r--r-- 2015-04-20 16:01 +0200 95 .hgtags
-rw-r--r-- 2015-04-20 16:01 +0200 355 Makefile
-rw-r--r-- 2015-04-20 16:01 +0200 78 TODO
-rw-r--r-- 2015-04-20 16:01 +0200 116 abstract.conf
-rw-r--r-- 2015-04-20 16:01 +0200 37994 abstract.txt