| -rwxr-xr-x | 119 | root |
root |
/usr/bin/mred
|
| -rwxr-xr-x | 19284 | root |
root |
/usr/lib/plt/bin/mred
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/plt/collects/mred
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/plt/collects/mred/compiled
|
| -rw-r--r-- | 774 | root |
root |
/usr/lib/plt/collects/mred/doc.txt
|
| -rw-r--r-- | 292 | root |
root |
/usr/lib/plt/collects/mred/edit-main.ss
|
| -rw-r--r-- | 4939 | root |
root |
/usr/lib/plt/collects/mred/edit.ss
|
| -rw-r--r-- | 148 | root |
root |
/usr/lib/plt/collects/mred/info.ss
|
| -rw-r--r-- | 4102 | root |
root |
/usr/lib/plt/collects/mred/mred-sig.ss
|
| -rw-r--r-- | 271100 | root |
root |
/usr/lib/plt/collects/mred/mred.ss
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/plt/collects/mred/private
|
| -rw-r--r-- | 577 | root |
root |
/usr/lib/plt/collects/mred/script-installer.ss
|
| -rw-r--r-- | 84 | root |
root |
/usr/lib/plt/collects/mred/compiled/edit-main.dep
|
| -rw-r--r-- | 225 | root |
root |
/usr/lib/plt/collects/mred/compiled/edit-main.zo
|
| -rw-r--r-- | 82 | root |
root |
/usr/lib/plt/collects/mred/compiled/edit.dep
|
| -rw-r--r-- | 3703 | root |
root |
/usr/lib/plt/collects/mred/compiled/edit.zo
|
| -rw-r--r-- | 48 | root |
root |
/usr/lib/plt/collects/mred/compiled/info.dep
|
| -rw-r--r-- | 467 | root |
root |
/usr/lib/plt/collects/mred/compiled/info.zo
|
| -rw-r--r-- | 48 | root |
root |
/usr/lib/plt/collects/mred/compiled/mred-sig.dep
|
| -rw-r--r-- | 3484 | root |
root |
/usr/lib/plt/collects/mred/compiled/mred-sig.zo
|
| -rw-r--r-- | 374 | root |
root |
/usr/lib/plt/collects/mred/compiled/mred.dep
|
| -rw-r--r-- | 234122 | root |
root |
/usr/lib/plt/collects/mred/compiled/mred.zo
|
| -rw-r--r-- | 52 | root |
root |
/usr/lib/plt/collects/mred/compiled/script-installer.dep
|
| -rw-r--r-- | 522 | root |
root |
/usr/lib/plt/collects/mred/compiled/script-installer.zo
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/plt/collects/mred/private/compiled
|
| -rw-r--r-- | 73 | root |
root |
/usr/lib/plt/collects/mred/private/info.ss
|
| -rw-r--r-- | 30642 | root |
root |
/usr/lib/plt/collects/mred/private/kernel.ss
|
| -rw-r--r-- | 17901 | root |
root |
/usr/lib/plt/collects/mred/private/seqcontract.ss
|
| -rw-r--r-- | 48 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/info.dep
|
| -rw-r--r-- | 357 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/info.zo
|
| -rw-r--r-- | 46 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/kernel.dep
|
| -rw-r--r-- | 53766 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/kernel.zo
|
| -rw-r--r-- | 125 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/seqcontract.dep
|
| -rw-r--r-- | 28567 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/seqcontract.zo
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/plt-mred-209
|
| -rw-r--r-- | 53448 | root |
root |
/usr/share/doc/plt-mred-209/HISTORY
|
| -rw-r--r-- | 43643 | root |
root |
/usr/share/doc/plt-mred-209/MrEd_100.txt
|
| -rw-r--r-- | 10398 | root |
root |
/usr/share/doc/plt-mred-209/MrEd_100_Framework.txt
|
| -rw-r--r-- | 362 | root |
root |
/usr/share/doc/plt-mred-209/OPENBUGS
|
| -rw-r--r-- | 2886 | root |
root |
/usr/share/man/man1/mred.1.bz2
|
