*** empty log message ***
authorhachti <hachti>
Sun, 10 Dec 2006 22:42:50 +0000 (22:42 +0000)
committerhachti <hachti>
Sun, 10 Dec 2006 22:42:50 +0000 (22:42 +0000)
commitc7358c239dea2dd30ab2a3f586efa2e4382c3c6c
tree441da5847c1c50433f6091cd9152773f707150ca
parent040533c5d1dece81aaaf2194b5ea24d908bea481
*** empty log message ***
pc-tools/ldc2/doc/body.tex
pc-tools/ldc2/doc/cover.tex
pc-tools/ldc2/doc/impl_spec.tex
pc-tools/ldc2/doc/intro.tex
pc-tools/ldc2/doc/literature.bib
pc-tools/ldc2/doc/req_spec.tex
pc-tools/ldc2/doc/test_spec.tex