-rwxr-xr-x | 28280 | root |
root |
/usr/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-- | 5542 | root |
root |
/usr/lib/plt/collects/mred/edit.ss
|
-rw-r--r-- | 177 | root |
root |
/usr/lib/plt/collects/mred/info.ss
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/plt/collects/mred/lang
|
-rw-r--r-- | 4555 | root |
root |
/usr/lib/plt/collects/mred/mred-sig.ss
|
-rw-r--r-- | 178 | root |
root |
/usr/lib/plt/collects/mred/mred-unit.ss
|
-rw-r--r-- | 7227 | root |
root |
/usr/lib/plt/collects/mred/mred.ss
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/plt/collects/mred/private
|
-rw-r--r-- | 677 | 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-- | 270 | 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-- | 5238 | 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-- | 736 | root |
root |
/usr/lib/plt/collects/mred/compiled/info.zo
|
-rw-r--r-- | 45 | root |
root |
/usr/lib/plt/collects/mred/compiled/mred-sig.dep
|
-rw-r--r-- | 10641 | root |
root |
/usr/lib/plt/collects/mred/compiled/mred-sig.zo
|
-rw-r--r-- | 100 | root |
root |
/usr/lib/plt/collects/mred/compiled/mred-unit.dep
|
-rw-r--r-- | 13262 | root |
root |
/usr/lib/plt/collects/mred/compiled/mred-unit.zo
|
-rw-r--r-- | 958 | root |
root |
/usr/lib/plt/collects/mred/compiled/mred.dep
|
-rw-r--r-- | 13128 | 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-- | 671 | root |
root |
/usr/lib/plt/collects/mred/compiled/script-installer.zo
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/plt/collects/mred/lang/compiled
|
-rw-r--r-- | 70 | root |
root |
/usr/lib/plt/collects/mred/lang/info.ss
|
-rw-r--r-- | 202 | root |
root |
/usr/lib/plt/collects/mred/lang/main.ss
|
-rw-r--r-- | 128 | root |
root |
/usr/lib/plt/collects/mred/lang/reader.ss
|
-rw-r--r-- | 41 | root |
root |
/usr/lib/plt/collects/mred/lang/compiled/info.dep
|
-rw-r--r-- | 547 | root |
root |
/usr/lib/plt/collects/mred/lang/compiled/info.zo
|
-rw-r--r-- | 68 | root |
root |
/usr/lib/plt/collects/mred/lang/compiled/main.dep
|
-rw-r--r-- | 10988 | root |
root |
/usr/lib/plt/collects/mred/lang/compiled/main.zo
|
-rw-r--r-- | 48 | root |
root |
/usr/lib/plt/collects/mred/lang/compiled/reader.dep
|
-rw-r--r-- | 438 | root |
root |
/usr/lib/plt/collects/mred/lang/compiled/reader.zo
|
-rw-r--r-- | 20891 | root |
root |
/usr/lib/plt/collects/mred/private/afm.ss
|
-rw-r--r-- | 4917 | 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-- | 23470 | 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-- | 4792 | root |
root |
/usr/lib/plt/collects/mred/private/fontdialog.ss
|
-rw-r--r-- | 10920 | 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-- | 32549 | 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-- | 4602 | root |
root |
/usr/lib/plt/collects/mred/private/lock.ss
|
-rw-r--r-- | 8916 | root |
root |
/usr/lib/plt/collects/mred/private/messagebox.ss
|
-rw-r--r-- | 5408 | root |
root |
/usr/lib/plt/collects/mred/private/misc.ss
|
-rw-r--r-- | 13563 | root |
root |
/usr/lib/plt/collects/mred/private/moredialogs.ss
|
-rw-r--r-- | 12020 | 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-- | 19355 | root |
root |
/usr/lib/plt/collects/mred/private/mritem.ss
|
-rw-r--r-- | 16363 | root |
root |
/usr/lib/plt/collects/mred/private/mrmenu.ss
|
-rw-r--r-- | 804 | root |
root |
/usr/lib/plt/collects/mred/private/mrmenuintf.ss
|
-rw-r--r-- | 7510 | 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-- | 9892 | 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-- | 36996 | root |
root |
/usr/lib/plt/collects/mred/private/path-dialog.ss
|
-rw-r--r-- | 6162 | 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-- | 11723 | 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-- | 6606 | 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-- | 14128 | root |
root |
/usr/lib/plt/collects/mred/private/wxitem.ss
|
-rw-r--r-- | 5094 | root |
root |
/usr/lib/plt/collects/mred/private/wxmenu.ss
|
-rw-r--r-- | 26476 | 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-- | 22158 | root |
root |
/usr/lib/plt/collects/mred/private/wxtop.ss
|
-rw-r--r-- | 7026 | 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-- | 17136 | 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-- | 3840 | 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-- | 7573 | 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-- | 3237 | 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-- | 493 | 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-- | 26780 | 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-- | 3306 | 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-- | 4225 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/fontdialog.zo
|
-rw-r--r-- | 331 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/gdi.dep
|
-rw-r--r-- | 14783 | 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-- | 9425 | 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-- | 549 | 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-- | 55556 | 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-- | 3424 | 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-- | 4243 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/lock.zo
|
-rw-r--r-- | 564 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/messagebox.dep
|
-rw-r--r-- | 5547 | 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-- | 3058 | 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-- | 10489 | 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-- | 12179 | 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-- | 5718 | 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-- | 1481 | 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-- | 24287 | 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-- | 14721 | 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-- | 727 | 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-- | 13119 | 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-- | 2633 | 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-- | 1616 | 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-- | 5222 | 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-- | 11014 | 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-- | 9618 | 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-- | 18801 | 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-- | 4859 | 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-- | 23527 | 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-- | 7006 | 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-- | 2228 | 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-- | 7359 | 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-- | 1759 | 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-- | 3106 | 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-- | 13167 | 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-- | 5437 | 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-- | 18840 | 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-- | 10524 | 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-- | 6994 | 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-- | 15559 | 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-- | 7876 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/wxwindow.zo
|
-rw-r--r-- | 2832 | root |
root |
/usr/share/man/man1/mred.1.lzma
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/plt/doc/mred
|
-rw-r--r-- | 148322 | root |
root |
/usr/share/plt/doc/mred/hdindex
|
-rw-r--r-- | 188274 | root |
root |
/usr/share/plt/doc/mred/keywords
|