--rw-r--r-- M 53 fernan sys 1641 Sep 19 2009 LICENSE --rw-r--r-- M 53 fernan sys 472 Sep 19 2009 README --rw-r--r-- M 53 fernan sys 87 Sep 19 2009 Setup.hs d-rwxr-xr-x M 53 fernan sys 0 Jul 15 2018 Text --rw-r--r-- M 53 fernan sys 0 Sep 19 2009 generatedCfiles --rw-r--r-- M 53 fernan sys 29 Sep 19 2009 prologue.txt --rw-r--r-- M 53 fernan sys 925 Sep 19 2009 xhtml.cabal Go to parent directory