kill datatype context
[nofib.git] / real /
drwxr-xr-x   ..
drwxr-xr-x - HMMS
-rw-r--r-- 672 Makefile
drwxr-xr-x - PolyGP
drwxr-xr-x - anna
drwxr-xr-x - bspt
drwxr-xr-x - cacheprof
drwxr-xr-x - compress
drwxr-xr-x - compress2
drwxr-xr-x - ebnf2ps
drwxr-xr-x - fem
drwxr-xr-x - fluid
drwxr-xr-x - fulsom
drwxr-xr-x - gamteb
drwxr-xr-x - gg
drwxr-xr-x - grep
drwxr-xr-x - hidden
drwxr-xr-x - hpg
drwxr-xr-x - infer
drwxr-xr-x - lift
drwxr-xr-x - linear
drwxr-xr-x - maillist
drwxr-xr-x - mkhprog
drwxr-xr-x - parser
drwxr-xr-x - pic
drwxr-xr-x - prolog
drwxr-xr-x - reptile
drwxr-xr-x - rsa
drwxr-xr-x - rx
drwxr-xr-x - scs
drwxr-xr-x - symalg
drwxr-xr-x - veritas