-rwxr-xr-x | 119 | root |
root |
/usr/bin/mred
|
-rwxr-xr-x | 24284 | 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-- | 828 | 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-- | 5110 | root |
root |
/usr/lib/plt/collects/mred/edit.ss
|
-rw-r--r-- | 177 | root |
root |
/usr/lib/plt/collects/mred/info.ss
|
-rw-r--r-- | 4507 | root |
root |
/usr/lib/plt/collects/mred/mred-sig.ss
|
-rw-r--r-- | 7153 | root |
root |
/usr/lib/plt/collects/mred/mred.ss
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/plt/collects/mred/private
|
-rw-r--r-- | 600 | root |
root |
/usr/lib/plt/collects/mred/script-installer.ss
|
-rw-r--r-- | 70 | root |
root |
/usr/lib/plt/collects/mred/compiled/edit-main.dep
|
-rw-r--r-- | 232 | root |
root |
/usr/lib/plt/collects/mred/compiled/edit-main.zo
|
-rw-r--r-- | 97 | root |
root |
/usr/lib/plt/collects/mred/compiled/edit.dep
|
-rw-r--r-- | 4528 | root |
root |
/usr/lib/plt/collects/mred/compiled/edit.zo
|
-rw-r--r-- | 41 | root |
root |
/usr/lib/plt/collects/mred/compiled/info.dep
|
-rw-r--r-- | 678 | root |
root |
/usr/lib/plt/collects/mred/compiled/info.zo
|
-rw-r--r-- | 41 | root |
root |
/usr/lib/plt/collects/mred/compiled/mred-sig.dep
|
-rw-r--r-- | 3838 | root |
root |
/usr/lib/plt/collects/mred/compiled/mred-sig.zo
|
-rw-r--r-- | 958 | root |
root |
/usr/lib/plt/collects/mred/compiled/mred.dep
|
-rw-r--r-- | 12762 | root |
root |
/usr/lib/plt/collects/mred/compiled/mred.zo
|
-rw-r--r-- | 45 | root |
root |
/usr/lib/plt/collects/mred/compiled/script-installer.dep
|
-rw-r--r-- | 568 | root |
root |
/usr/lib/plt/collects/mred/compiled/script-installer.zo
|
-rw-r--r-- | 20889 | root |
root |
/usr/lib/plt/collects/mred/private/afm.ss
|
-rw-r--r-- | 4913 | root |
root |
/usr/lib/plt/collects/mred/private/app.ss
|
-rw-r--r-- | 6528 | root |
root |
/usr/lib/plt/collects/mred/private/check.ss
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/plt/collects/mred/private/compiled
|
-rw-r--r-- | 2505 | root |
root |
/usr/lib/plt/collects/mred/private/const.ss
|
-rw-r--r-- | 522 | root |
root |
/usr/lib/plt/collects/mred/private/cycle.ss
|
-rw-r--r-- | 23173 | root |
root |
/usr/lib/plt/collects/mred/private/editor.ss
|
-rw-r--r-- | 3674 | root |
root |
/usr/lib/plt/collects/mred/private/filedialog.ss
|
-rw-r--r-- | 5998 | root |
root |
/usr/lib/plt/collects/mred/private/fontdialog.ss
|
-rw-r--r-- | 5550 | root |
root |
/usr/lib/plt/collects/mred/private/gdi.ss
|
-rw-r--r-- | 9985 | root |
root |
/usr/lib/plt/collects/mred/private/helper.ss
|
-rw-r--r-- | 73 | root |
root |
/usr/lib/plt/collects/mred/private/info.ss
|
-rw-r--r-- | 32017 | root |
root |
/usr/lib/plt/collects/mred/private/kernel.ss
|
-rw-r--r-- | 2066 | root |
root |
/usr/lib/plt/collects/mred/private/kw.ss
|
-rw-r--r-- | 3643 | root |
root |
/usr/lib/plt/collects/mred/private/lock.ss
|
-rw-r--r-- | 8992 | root |
root |
/usr/lib/plt/collects/mred/private/messagebox.ss
|
-rw-r--r-- | 3275 | root |
root |
/usr/lib/plt/collects/mred/private/misc.ss
|
-rw-r--r-- | 13539 | root |
root |
/usr/lib/plt/collects/mred/private/moredialogs.ss
|
-rw-r--r-- | 11934 | root |
root |
/usr/lib/plt/collects/mred/private/mrcanvas.ss
|
-rw-r--r-- | 5514 | root |
root |
/usr/lib/plt/collects/mred/private/mrcontainer.ss
|
-rw-r--r-- | 923 | root |
root |
/usr/lib/plt/collects/mred/private/mrgroupbox.ss
|
-rw-r--r-- | 19304 | root |
root |
/usr/lib/plt/collects/mred/private/mritem.ss
|
-rw-r--r-- | 13796 | root |
root |
/usr/lib/plt/collects/mred/private/mrmenu.ss
|
-rw-r--r-- | 808 | root |
root |
/usr/lib/plt/collects/mred/private/mrmenuintf.ss
|
-rw-r--r-- | 7511 | root |
root |
/usr/lib/plt/collects/mred/private/mrpanel.ss
|
-rw-r--r-- | 1909 | root |
root |
/usr/lib/plt/collects/mred/private/mrpopup.ss
|
-rw-r--r-- | 1092 | root |
root |
/usr/lib/plt/collects/mred/private/mrtabgroup.ss
|
-rw-r--r-- | 4022 | root |
root |
/usr/lib/plt/collects/mred/private/mrtextfield.ss
|
-rw-r--r-- | 9734 | root |
root |
/usr/lib/plt/collects/mred/private/mrtop.ss
|
-rw-r--r-- | 8116 | root |
root |
/usr/lib/plt/collects/mred/private/mrwindow.ss
|
-rw-r--r-- | 31370 | root |
root |
/usr/lib/plt/collects/mred/private/path-dialog.ss
|
-rw-r--r-- | 5957 | root |
root |
/usr/lib/plt/collects/mred/private/repl.ss
|
-rw-r--r-- | 17393 | root |
root |
/usr/lib/plt/collects/mred/private/seqcontract.ss
|
-rw-r--r-- | 10500 | root |
root |
/usr/lib/plt/collects/mred/private/snipfile.ss
|
-rw-r--r-- | 1465 | root |
root |
/usr/lib/plt/collects/mred/private/wx.ss
|
-rw-r--r-- | 6270 | root |
root |
/usr/lib/plt/collects/mred/private/wxcanvas.ss
|
-rw-r--r-- | 1307 | root |
root |
/usr/lib/plt/collects/mred/private/wxcontainer.ss
|
-rw-r--r-- | 2667 | root |
root |
/usr/lib/plt/collects/mred/private/wxgroupbox.ss
|
-rw-r--r-- | 13930 | root |
root |
/usr/lib/plt/collects/mred/private/wxitem.ss
|
-rw-r--r-- | 5179 | root |
root |
/usr/lib/plt/collects/mred/private/wxmenu.ss
|
-rw-r--r-- | 26314 | root |
root |
/usr/lib/plt/collects/mred/private/wxpanel.ss
|
-rw-r--r-- | 13602 | root |
root |
/usr/lib/plt/collects/mred/private/wxtabgroup.ss
|
-rw-r--r-- | 7114 | root |
root |
/usr/lib/plt/collects/mred/private/wxtextfield.ss
|
-rw-r--r-- | 20495 | root |
root |
/usr/lib/plt/collects/mred/private/wxtop.ss
|
-rw-r--r-- | 6638 | root |
root |
/usr/lib/plt/collects/mred/private/wxwindow.ss
|
-rw-r--r-- | 68 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/afm.dep
|
-rw-r--r-- | 12748 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/afm.zo
|
-rw-r--r-- | 227 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/app.dep
|
-rw-r--r-- | 3784 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/app.zo
|
-rw-r--r-- | 151 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/check.dep
|
-rw-r--r-- | 4975 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/check.zo
|
-rw-r--r-- | 108 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/const.dep
|
-rw-r--r-- | 2570 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/const.zo
|
-rw-r--r-- | 8 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/cycle.dep
|
-rw-r--r-- | 448 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/cycle.zo
|
-rw-r--r-- | 830 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/editor.dep
|
-rw-r--r-- | 26228 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/editor.zo
|
-rw-r--r-- | 367 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/filedialog.dep
|
-rw-r--r-- | 3639 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/filedialog.zo
|
-rw-r--r-- | 680 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/fontdialog.dep
|
-rw-r--r-- | 4308 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/fontdialog.zo
|
-rw-r--r-- | 301 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/gdi.dep
|
-rw-r--r-- | 4858 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/gdi.zo
|
-rw-r--r-- | 115 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/helper.dep
|
-rw-r--r-- | 7760 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/helper.zo
|
-rw-r--r-- | 41 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/info.dep
|
-rw-r--r-- | 493 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/info.zo
|
-rw-r--r-- | 39 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/kernel.dep
|
-rw-r--r-- | 57274 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/kernel.zo
|
-rw-r--r-- | 42 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/kw.dep
|
-rw-r--r-- | 4116 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/kw.zo
|
-rw-r--r-- | 47 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/lock.dep
|
-rw-r--r-- | 5270 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/lock.zo
|
-rw-r--r-- | 532 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/messagebox.dep
|
-rw-r--r-- | 5322 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/messagebox.zo
|
-rw-r--r-- | 141 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/misc.dep
|
-rw-r--r-- | 2288 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/misc.zo
|
-rw-r--r-- | 644 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/moredialogs.dep
|
-rw-r--r-- | 10769 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/moredialogs.zo
|
-rw-r--r-- | 528 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/mrcanvas.dep
|
-rw-r--r-- | 11673 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/mrcanvas.zo
|
-rw-r--r-- | 449 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/mrcontainer.dep
|
-rw-r--r-- | 5404 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/mrcontainer.zo
|
-rw-r--r-- | 425 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/mrgroupbox.dep
|
-rw-r--r-- | 1324 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/mrgroupbox.zo
|
-rw-r--r-- | 488 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/mritem.dep
|
-rw-r--r-- | 21836 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/mritem.zo
|
-rw-r--r-- | 525 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/mrmenu.dep
|
-rw-r--r-- | 12629 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/mrmenu.zo
|
-rw-r--r-- | 39 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/mrmenuintf.dep
|
-rw-r--r-- | 706 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/mrmenuintf.zo
|
-rw-r--r-- | 545 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/mrpanel.dep
|
-rw-r--r-- | 11070 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/mrpanel.zo
|
-rw-r--r-- | 411 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/mrpopup.dep
|
-rw-r--r-- | 2501 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/mrpopup.zo
|
-rw-r--r-- | 381 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/mrtabgroup.dep
|
-rw-r--r-- | 1464 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/mrtabgroup.zo
|
-rw-r--r-- | 570 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/mrtextfield.dep
|
-rw-r--r-- | 4817 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/mrtextfield.zo
|
-rw-r--r-- | 556 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/mrtop.dep
|
-rw-r--r-- | 10145 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/mrtop.zo
|
-rw-r--r-- | 415 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/mrwindow.dep
|
-rw-r--r-- | 9142 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/mrwindow.zo
|
-rw-r--r-- | 452 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/path-dialog.dep
|
-rw-r--r-- | 16240 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/path-dialog.zo
|
-rw-r--r-- | 348 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/repl.dep
|
-rw-r--r-- | 4811 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/repl.zo
|
-rw-r--r-- | 104 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/seqcontract.dep
|
-rw-r--r-- | 28269 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/seqcontract.zo
|
-rw-r--r-- | 247 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/snipfile.dep
|
-rw-r--r-- | 6681 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/snipfile.zo
|
-rw-r--r-- | 188 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/wx.dep
|
-rw-r--r-- | 2037 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/wx.zo
|
-rw-r--r-- | 303 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/wxcanvas.dep
|
-rw-r--r-- | 7042 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/wxcanvas.zo
|
-rw-r--r-- | 253 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/wxcontainer.dep
|
-rw-r--r-- | 1606 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/wxcontainer.zo
|
-rw-r--r-- | 384 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/wxgroupbox.dep
|
-rw-r--r-- | 3051 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/wxgroupbox.zo
|
-rw-r--r-- | 399 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/wxitem.dep
|
-rw-r--r-- | 12803 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/wxitem.zo
|
-rw-r--r-- | 291 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/wxmenu.dep
|
-rw-r--r-- | 5309 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/wxmenu.zo
|
-rw-r--r-- | 453 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/wxpanel.dep
|
-rw-r--r-- | 17913 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/wxpanel.zo
|
-rw-r--r-- | 384 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/wxtabgroup.dep
|
-rw-r--r-- | 9873 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/wxtabgroup.zo
|
-rw-r--r-- | 575 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/wxtextfield.dep
|
-rw-r--r-- | 6793 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/wxtextfield.zo
|
-rw-r--r-- | 478 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/wxtop.dep
|
-rw-r--r-- | 14546 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/wxtop.zo
|
-rw-r--r-- | 223 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/wxwindow.dep
|
-rw-r--r-- | 7503 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/wxwindow.zo
|
-rw-r--r-- | 2824 | root |
root |
/usr/share/man/man1/mred.1.bz2
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/plt/doc/mred
|
-rw-r--r-- | 146303 | root |
root |
/usr/share/plt/doc/mred/hdindex
|
-rw-r--r-- | 185001 | root |
root |
/usr/share/plt/doc/mred/keywords
|