drwxr-xr-x  2 edrx edrx  12288 Jul 17 10:16 ./
drwxr-xr-x 87 edrx edrx   8192 Jul 17 10:16 ../
-rw-r--r--  1 edrx edrx  41503 Dec  2  2004 04dia-d.e
-rw-r--r--  1 edrx edrx  48049 Jul 17 10:16 04dia-d.e.html
-rw-r--r--  1 edrx edrx   5429 Dec  2  2004 04lua.e
-rw-r--r--  1 edrx edrx   7937 Jul 17 10:16 04lua.e.html
-rw-r--r--  1 edrx edrx   3796 Nov 19  2007 21.e
-rw-r--r--  1 edrx edrx   5518 Jul 17 10:16 21.e.html
-rw-r--r--  1 edrx edrx   3890 Dec 28  2007 adwin.e
-rw-r--r--  1 edrx edrx   5534 Jul 17 10:16 adwin.e.html
-rw-r--r--  1 edrx edrx  36143 Feb 20 18:46 anatocc.e
-rw-r--r--  1 edrx edrx  63435 Jul 17 10:16 anatocc.e.html
-rw-r--r--  1 edrx edrx   2016 Nov 19  2007 angg.e
-rw-r--r--  1 edrx edrx   3121 Jul 17 10:16 angg.e.html
-rw-r--r--  1 edrx edrx   6809 Dec  2  2004 anggsmil.e
-rw-r--r--  1 edrx edrx   8772 Jul 17 10:16 anggsmil.e.html
-rw-r--r--  1 edrx edrx   9169 Jul 20  2007 apache.e
-rw-r--r--  1 edrx edrx  15484 Jul 17 10:16 apache.e.html
-rw-r--r--  1 edrx edrx  29286 Jan 29 18:21 apt.e
-rw-r--r--  1 edrx edrx  46333 Jul 17 10:16 apt.e.html
-rw-r--r--  1 edrx edrx   6657 Feb  8 09:53 awk.e
-rw-r--r--  1 edrx edrx  13734 Jul 17 10:16 awk.e.html
-rw-r--r--  1 edrx edrx  16257 May  5 11:27 bash.e
-rw-r--r--  1 edrx edrx  31384 Jul 17 10:16 bash.e.html
-rw-r--r--  1 edrx edrx   2721 Dec  2  2004 bis.e
-rw-r--r--  1 edrx edrx   4107 Jul 17 10:16 bis.e.html
-rw-r--r--  1 edrx edrx  30724 Feb 17 19:31 blogme.e
-rw-r--r--  1 edrx edrx  54313 Jul 17 10:16 blogme.e.html
-rw-r--r--  1 edrx edrx  19394 Jan 24  2005 bootcd.e
-rw-r--r--  1 edrx edrx  28840 Jul 17 10:16 bootcd.e.html
-rw-r--r--  1 edrx edrx  17711 Dec  2  2004 bsd.e
-rw-r--r--  1 edrx edrx  30399 Jul 17 10:16 bsd.e.html
-rw-r--r--  1 edrx edrx   6469 May  5 10:46 busybox.e
-rw-r--r--  1 edrx edrx  10401 Jul 17 10:16 busybox.e.html
-rw-r--r--  1 edrx edrx  12209 Jan 20  2005 cdd.e
-rw-r--r--  1 edrx edrx  19997 Jul 17 10:16 cdd.e.html
-rw-r--r--  1 edrx edrx  26187 Feb 18 07:08 cdrom.e
-rw-r--r--  1 edrx edrx  39606 Jul 17 10:16 cdrom.e.html
-rw-r--r--  1 edrx edrx   3715 Dec  2  2004 cfengine.e
-rw-r--r--  1 edrx edrx   5078 Jul 17 10:16 cfengine.e.html
-rw-r--r--  1 edrx edrx  16848 Dec  2  2004 charsets.e
-rw-r--r--  1 edrx edrx  26529 Jul 17 10:16 charsets.e.html
-rw-r--r--  1 edrx edrx  12094 Nov  4  2005 chinese.e
-rw-r--r--  1 edrx edrx  18418 Jul 17 10:16 chinese.e.html
-rw-r--r--  1 edrx edrx   7590 Dec 26  2004 chroot.e
-rw-r--r--  1 edrx edrx  12288 Jul 17 10:16 chroot.e.html
-rw-r--r--  1 edrx edrx  25484 Dec  2  2004 cipsga.e
-rw-r--r--  1 edrx edrx  39223 Jul 17 10:16 cipsga.e.html
-rw-r--r--  1 edrx edrx  14526 Feb 21 08:48 clock.e
-rw-r--r--  1 edrx edrx  23987 Jul 17 10:16 clock.e.html
-rw-r--r--  1 edrx edrx   2574 Dec  2  2004 conf.e
-rw-r--r--  1 edrx edrx   3953 Jul 17 10:16 conf.e.html
-rw-r--r--  1 edrx edrx  34496 Apr  6 03:38 console.e
-rw-r--r--  1 edrx edrx  58487 Jul 17 10:16 console.e.html
-rw-r--r--  1 edrx edrx   3199 Dec  2  2004 coq.e
-rw-r--r--  1 edrx edrx   4527 Jul 17 10:16 coq.e.html
-rw-r--r--  1 edrx edrx   9436 Dec  2  2004 crim.e
-rw-r--r--  1 edrx edrx  17134 Jul 17 10:16 crim.e.html
-rw-r--r--  1 edrx edrx   2072 Dec  2  2004 cron.e
-rw-r--r--  1 edrx edrx   3819 Jul 17 10:16 cron.e.html
-rw-r--r--  1 edrx edrx  13906 Jun 10 16:26 cvs.e
-rw-r--r--  1 edrx edrx  27345 Jul 17 10:16 cvs.e.html
-rw-r--r--  1 edrx edrx  54985 Oct 15  2007 davinci.e
-rw-r--r--  1 edrx edrx  68647 Jul 17 10:16 davinci.e.html
-rw-r--r--  1 edrx edrx   1476 Dec  2  2004 dbootstrap.e
-rw-r--r--  1 edrx edrx   2638 Jul 17 10:16 dbootstrap.e.html
-rw-r--r--  1 edrx edrx   1666 Dec  2  2004 debian-by-ex.e
-rw-r--r--  1 edrx edrx   2657 Jul 17 10:16 debian-by-ex.e.html
-rw-r--r--  1 edrx edrx   9154 Dec  2  2004 debian-cd.e
-rw-r--r--  1 edrx edrx  15671 Jul 17 10:16 debian-cd.e.html
-rw-r--r--  1 edrx edrx   7414 Dec  2  2004 debian-net.e
-rw-r--r--  1 edrx edrx  12361 Jul 17 10:16 debian-net.e.html
-rw-r--r--  1 edrx edrx   8146 Dec  2  2004 debian.e
-rw-r--r--  1 edrx edrx  13367 Jul 17 10:16 debian.e.html
-rw-r--r--  1 edrx edrx  15812 Dec  2  2004 debian0.e
-rw-r--r--  1 edrx edrx  20749 Jul 17 10:16 debian0.e.html
-rw-r--r--  1 edrx edrx  23091 Aug 22  2006 debiandev.e
-rw-r--r--  1 edrx edrx  38860 Jul 17 10:16 debiandev.e.html
-rw-r--r--  1 edrx edrx  31730 Feb 14  2005 debrepository.e
-rw-r--r--  1 edrx edrx  50598 Jul 17 10:16 debrepository.e.html
-rw-r--r--  1 edrx edrx  13799 Jul 13 01:14 dednat.e
-rw-r--r--  1 edrx edrx  28484 Jul 17 10:16 dednat.e.html
-rw-r--r--  1 edrx edrx   5246 Aug  1  2006 diagrams.e
-rw-r--r--  1 edrx edrx   8138 Jul 17 10:16 diagrams.e.html
-rw-r--r--  1 edrx edrx   8556 Aug 28  2006 dialog.e
-rw-r--r--  1 edrx edrx  12222 Jul 17 10:16 dialog.e.html
-rw-r--r--  1 edrx edrx   6531 May 21  2007 dict.e
-rw-r--r--  1 edrx edrx  11580 Jul 17 10:16 dict.e.html
-rw-r--r--  1 edrx edrx   4289 Dec  2  2004 doc.e
-rw-r--r--  1 edrx edrx   6827 Jul 17 10:16 doc.e.html
-rw-r--r--  1 edrx edrx  33754 Apr  1  2007 dos.e
-rw-r--r--  1 edrx edrx  49341 Jul 17 10:16 dos.e.html
-rw-r--r--  1 edrx edrx   1399 Dec 28  2007 doxygen.e
-rw-r--r--  1 edrx edrx   2449 Jul 17 10:16 doxygen.e.html
-rw-r--r--  1 edrx edrx  31401 May  5 10:49 dpkg.e
-rw-r--r--  1 edrx edrx  53185 Jul 17 10:16 dpkg.e.html
-rw-r--r--  1 edrx edrx   4119 Dec  2  2004 dual.e
-rw-r--r--  1 edrx edrx   5448 Jul 17 10:16 dual.e.html
-rw-r--r--  1 edrx edrx  31260 Dec 20  2007 dvd.e
-rw-r--r--  1 edrx edrx  50439 Jul 17 10:16 dvd.e.html
-rw-r--r--  1 edrx edrx   5848 Dec 16  2004 e2fs.e
-rw-r--r--  1 edrx edrx  11453 Jul 17 10:16 e2fs.e.html
-rw-r--r--  1 edrx edrx  10777 Dec  2  2004 eeg.e
-rw-r--r--  1 edrx edrx  15375 Jul 17 10:16 eeg.e.html
-rw-r--r--  1 edrx edrx   1477 Mar 26 22:56 eev.e
-rw-r--r--  1 edrx edrx   2525 Jul 17 10:16 eev.e.html
-rw-r--r--  1 edrx edrx 236756 Jul  3 00:09 emacs.e
-rw-r--r--  1 edrx edrx 384498 Jul 17 10:16 emacs.e.html
-rw-r--r--  1 edrx edrx  33726 Dec  2  2004 escripts.e
-rw-r--r--  1 edrx edrx  55244 Jul 17 10:16 escripts.e.html
-rw-r--r--  1 edrx edrx   2287 Dec  2  2004 ethernet.e
-rw-r--r--  1 edrx edrx   3397 Jul 17 10:16 ethernet.e.html
-rw-r--r--  1 edrx edrx   5924 Dec  2  2004 ewiki.e
-rw-r--r--  1 edrx edrx   8150 Jul 17 10:16 ewiki.e.html
-rw-r--r--  1 edrx edrx  10295 Dec  2  2004 exim.e
-rw-r--r--  1 edrx edrx  16626 Jul 17 10:16 exim.e.html
-rw-r--r--  1 edrx edrx   3719 May 21  2007 expat.e
-rw-r--r--  1 edrx edrx   6834 Jul 17 10:16 expat.e.html
-rw-r--r--  1 edrx edrx  44523 May 31  2005 expect.e
-rw-r--r--  1 edrx edrx  65743 Jul 17 10:16 expect.e.html
-rw-r--r--  1 edrx edrx   5790 Aug 23  2006 figlet.e
-rw-r--r--  1 edrx edrx  10910 Jul 17 10:16 figlet.e.html
-rw-r--r--  1 edrx edrx   3215 Dec  2  2004 fl.e
-rw-r--r--  1 edrx edrx   5125 Jul 17 10:16 fl.e.html
-rw-r--r--  1 edrx edrx   9736 Dec  2  2004 float.e
-rw-r--r--  1 edrx edrx  15129 Jul 17 10:16 float.e.html
-rw-r--r--  1 edrx edrx   9068 Dec  2  2004 floppy.e
-rw-r--r--  1 edrx edrx  13507 Jul 17 10:16 floppy.e.html
-rw-r--r--  1 edrx edrx   7759 Dec  2  2004 flua.e
-rw-r--r--  1 edrx edrx   9755 Jul 17 10:16 flua.e.html
-rw-r--r--  1 edrx edrx  35875 Apr 20 09:51 forth.e
-rw-r--r--  1 edrx edrx  50573 Jul 17 10:16 forth.e.html
-rw-r--r--  1 edrx edrx  41908 Jul 17 04:52 fortho.e
-rw-r--r--  1 edrx edrx  69918 Jul 17 10:16 fortho.e.html
-rw-r--r--  1 edrx edrx   3776 Jan 29  2005 ftpd.e
-rw-r--r--  1 edrx edrx   6660 Jul 17 10:16 ftpd.e.html
-rw-r--r--  1 edrx edrx  17868 May 31 14:11 fvwm.e
-rw-r--r--  1 edrx edrx  34591 Jul 17 10:16 fvwm.e.html
-rw-r--r--  1 edrx edrx   4162 Jul  6  2006 gaim.e
-rw-r--r--  1 edrx edrx   7038 Jul 17 10:16 gaim.e.html
-rw-r--r--  1 edrx edrx  26441 Apr 12 10:12 games.e
-rw-r--r--  1 edrx edrx  42098 Jul 17 10:16 games.e.html
-rw-r--r--  1 edrx edrx   8023 Nov  9  2007 gdb.e
-rw-r--r--  1 edrx edrx  15463 Jul 17 10:16 gdb.e.html
-rw-r--r--  1 edrx edrx  20439 Dec  2  2004 general.e
-rw-r--r--  1 edrx edrx  28316 Jul 17 10:16 general.e.html
-rw-r--r--  1 edrx edrx   6218 Feb 20 13:20 gforth.e
-rw-r--r--  1 edrx edrx  10273 Jul 17 10:16 gforth.e.html
-rw-r--r--  1 edrx edrx   7750 Nov  4  2005 gimp.e
-rw-r--r--  1 edrx edrx  11377 Jul 17 10:16 gimp.e.html
-rw-r--r--  1 edrx edrx   1846 Dec  2  2004 gnome.e
-rw-r--r--  1 edrx edrx   2937 Jul 17 10:16 gnome.e.html
-rw-r--r--  1 edrx edrx   5595 Feb  6 14:23 gnuplot.e
-rw-r--r--  1 edrx edrx   8101 Jul 17 10:16 gnuplot.e.html
-rw-r--r--  1 edrx edrx  10649 Mar 14 14:07 gnus.e
-rw-r--r--  1 edrx edrx  17397 Jul 17 10:16 gnus.e.html
-rw-r--r--  1 edrx edrx   3380 Dec  2  2004 gpg.e
-rw-r--r--  1 edrx edrx   5154 Jul 17 10:16 gpg.e.html
-rw-r--r--  1 edrx edrx  19660 Dec  2  2004 greenmatrix.e
-rw-r--r--  1 edrx edrx  25563 Jul 17 10:16 greenmatrix.e.html
-rw-r--r--  1 edrx edrx   5009 Dec  2  2004 groff.e
-rw-r--r--  1 edrx edrx   7594 Jul 17 10:16 groff.e.html
-rw-r--r--  1 edrx edrx  31135 Oct 29  2007 grub.e
-rw-r--r--  1 edrx edrx  54932 Jul 17 10:16 grub.e.html
-rw-r--r--  1 edrx edrx   8374 Oct 23  2005 gtk.e
-rw-r--r--  1 edrx edrx  10646 Jul 17 10:16 gtk.e.html
-rw-r--r--  1 edrx edrx  36819 Jul 18  2007 hardware.e
-rw-r--r--  1 edrx edrx  53348 Jul 17 10:16 hardware.e.html
-rw-r--r--  1 edrx edrx  24416 May 23 21:13 haskell.e
-rw-r--r--  1 edrx edrx  41389 Jul 17 10:16 haskell.e.html
-rw-r--r--  1 edrx edrx   4739 Dec  2  2004 hd.e
-rw-r--r--  1 edrx edrx   7391 Jul 17 10:16 hd.e.html
-rw-r--r--  1 edrx edrx  12326 Apr 23  2007 howm.e
-rw-r--r--  1 edrx edrx  18182 Jul 17 10:16 howm.e.html
-rw-r--r--  1 edrx edrx   1912 Dec  2  2004 hsforth.e
-rw-r--r--  1 edrx edrx   3425 Jul 17 10:16 hsforth.e.html
-rw-r--r--  1 edrx edrx  11363 Dec 26  2007 html.e
-rw-r--r--  1 edrx edrx  18893 Jul 17 10:16 html.e.html
-rw-r--r--  1 edrx edrx  24402 Jan  3  2008 http.e
-rw-r--r--  1 edrx edrx  41931 Jul 17 10:16 http.e.html
-rw-r--r--  1 edrx edrx  44623 Dec  2  2004 hurd-old.e
-rw-r--r--  1 edrx edrx  66378 Jul 17 10:16 hurd-old.e.html
-rw-r--r--  1 edrx edrx  55183 Dec  2  2004 hurd.e
-rw-r--r--  1 edrx edrx  82868 Jul 17 10:16 hurd.e.html
-rw-r--r--  1 edrx edrx   2518 Dec  2  2004 hw-eth.e
-rw-r--r--  1 edrx edrx   3830 Jul 17 10:16 hw-eth.e.html
-rw-r--r--  1 edrx edrx   3235 Dec  2  2004 hw-parport.e
-rw-r--r--  1 edrx edrx   4552 Jul 17 10:16 hw-parport.e.html
-rw-r--r--  1 edrx edrx   3895 Dec  2  2004 hw-sound.e
-rw-r--r--  1 edrx edrx   5284 Jul 17 10:16 hw-sound.e.html
-rw-r--r--  1 edrx edrx  32075 Jun 19 06:44 icon.e
-rw-r--r--  1 edrx edrx  48585 Jul 17 10:16 icon.e.html
-rw-r--r--  1 edrx edrx   4337 Dec  2  2004 icq.e
-rw-r--r--  1 edrx edrx   6597 Jul 17 10:16 icq.e.html
-rw-r--r--  1 edrx edrx   2148 Jan 15  2005 index.e
-rw-r--r--  1 edrx edrx   5425 Jul 17 10:16 index.e.html
-rw-r--r--  1 edrx edrx   7253 Feb  3  2005 init.e
-rw-r--r--  1 edrx edrx  14232 Jul 17 10:16 init.e.html
-rw-r--r--  1 edrx edrx  22062 May  4  2005 initrd.e
-rw-r--r--  1 edrx edrx  35189 Jul 17 10:16 initrd.e.html
-rw-r--r--  1 edrx edrx   2478 May 16  2005 inkscape.e
-rw-r--r--  1 edrx edrx   4206 Jul 17 10:16 inkscape.e.html
-rw-r--r--  1 edrx edrx   7671 Dec  2  2004 interbase.e
-rw-r--r--  1 edrx edrx  14081 Jul 17 10:16 interbase.e.html
-rw-r--r--  1 edrx edrx   6193 Jan 24  2005 ion.e
-rw-r--r--  1 edrx edrx   8975 Jul 17 10:16 ion.e.html
-rw-r--r--  1 edrx edrx  13409 Jan 11  2008 irc.e
-rw-r--r--  1 edrx edrx  21657 Jul 17 10:16 irc.e.html
-rw-r--r--  1 edrx edrx  41060 Oct 10  2007 iup-old.e
-rw-r--r--  1 edrx edrx  67081 Jul 17 10:16 iup-old.e.html
-rw-r--r--  1 edrx edrx  38305 Oct 10  2007 iup.e
-rw-r--r--  1 edrx edrx  61866 Jul 17 10:16 iup.e.html
-rw-r--r--  1 edrx edrx   4011 Nov 26  2007 java.e
-rw-r--r--  1 edrx edrx   7043 Jul 17 10:16 java.e.html
-rw-r--r--  1 edrx edrx   8804 May 26 00:46 javascript.e
-rw-r--r--  1 edrx edrx  12459 Jul 17 10:16 javascript.e.html
-rw-r--r--  1 edrx edrx   7395 Dec  2  2004 k22.e
-rw-r--r--  1 edrx edrx   8832 Jul 17 10:16 k22.e.html
-rw-r--r--  1 edrx edrx  10532 Mar 14 21:21 kepler.e
-rw-r--r--  1 edrx edrx  18628 Jul 17 10:16 kepler.e.html
-rw-r--r--  1 edrx edrx  59190 Jan 29 13:48 kernel.e
-rw-r--r--  1 edrx edrx  97308 Jul 17 10:16 kernel.e.html
-rw-r--r--  1 edrx edrx   4013 Dec  2  2004 latest.e
-rw-r--r--  1 edrx edrx  11487 Jul 17 10:16 latest.e.html
-rw-r--r--  1 edrx edrx   6139 Dec  2  2004 lexyacc.e
-rw-r--r--  1 edrx edrx   9524 Jul 17 10:16 lexyacc.e.html
-rw-r--r--  1 edrx edrx   6492 Jan  7  2005 licenses.e
-rw-r--r--  1 edrx edrx  15375 Jul 17 10:16 licenses.e.html
-rw-r--r--  1 edrx edrx  20403 Dec  2  2004 lilo.e
-rw-r--r--  1 edrx edrx  28268 Jul 17 10:16 lilo.e.html
-rw-r--r--  1 edrx edrx   7651 Jan 13  2005 lilypond.e
-rw-r--r--  1 edrx edrx  12176 Jul 17 10:16 lilypond.e.html
-rw-r--r--  1 edrx edrx   4310 Sep 18  2007 lisp.e
-rw-r--r--  1 edrx edrx   7789 Jul 17 10:16 lisp.e.html
-rw-r--r--  1 edrx edrx  35505 Dec 22  2004 livecd.e
-rw-r--r--  1 edrx edrx  57741 Jul 17 10:16 livecd.e.html
-rw-r--r--  1 edrx edrx   4690 Apr 16  2007 locale.e
-rw-r--r--  1 edrx edrx   9641 Jul 17 10:16 locale.e.html
-rw-r--r--  1 edrx edrx   7529 Dec  2  2004 localnet.e
-rw-r--r--  1 edrx edrx  10710 Jul 17 10:16 localnet.e.html
-rw-r--r--  1 edrx edrx  56636 Feb  8 16:41 lua-intro.e
-rw-r--r--  1 edrx edrx  93866 Jul 17 10:16 lua-intro.e.html
-rw-r--r--  1 edrx edrx  23365 Dec  2  2004 lua-old.e
-rw-r--r--  1 edrx edrx  38184 Jul 17 10:16 lua-old.e.html
-rw-r--r--  1 edrx edrx  66530 Feb  4  2007 lua.e
-rw-r--r--  1 edrx edrx 110113 Jul 17 10:16 lua.e.html
-rw-r--r--  1 edrx edrx 206477 Jul 10 09:20 lua5.e
-rw-r--r--  1 edrx edrx 323628 Jul 17 10:16 lua5.e.html
-rw-r--r--  1 edrx edrx   2476 Jul 13 00:42 luatex.e
-rw-r--r--  1 edrx edrx   4338 Jul 17 10:16 luatex.e.html
-rw-r--r--  1 edrx edrx  17820 Dec  2  2004 lynx.e
-rw-r--r--  1 edrx edrx  24923 Jul 17 10:16 lynx.e.html
-rw-r--r--  1 edrx edrx  69844 Feb  1 06:04 mail.e
-rw-r--r--  1 edrx edrx 110610 Jul 17 10:16 mail.e.html
-rw-r--r--  1 edrx edrx   9895 Jun 14  2007 make.e
-rw-r--r--  1 edrx edrx  21631 Jul 17 10:16 make.e.html
-rw-r--r--  1 edrx edrx   6615 Oct 28  2005 man.e
-rw-r--r--  1 edrx edrx  11984 Jul 17 10:16 man.e.html
-rw-r--r--  1 edrx edrx   9000 Dec  2  2004 maple.e
-rw-r--r--  1 edrx edrx  11713 Jul 17 10:16 maple.e.html
-rw-r--r--  1 edrx edrx  19460 Oct 27  2007 math.e
-rw-r--r--  1 edrx edrx  34792 Jul 17 10:16 math.e.html
-rw-r--r--  1 edrx edrx   4534 Jun 10 09:56 maxima.e
-rw-r--r--  1 edrx edrx   7346 Jul 17 10:16 maxima.e.html
-rw-r--r--  1 edrx edrx  12532 Jun 17  2005 mgp.e
-rw-r--r--  1 edrx edrx  17072 Jul 17 10:16 mgp.e.html
-rw-r--r--  1 edrx edrx  25196 Dec  2  2004 mini.e
-rw-r--r--  1 edrx edrx  33739 Jul 17 10:16 mini.e.html
-rw-r--r--  1 edrx edrx  14507 Dec  2  2004 mktclapp.e
-rw-r--r--  1 edrx edrx  22771 Jul 17 10:16 mktclapp.e.html
-rw-r--r--  1 edrx edrx  23284 Jun  2 10:34 ml.e
-rw-r--r--  1 edrx edrx  36857 Jul 17 10:16 ml.e.html
-rw-r--r--  1 edrx edrx   4078 Dec  2  2004 modelcheck.e
-rw-r--r--  1 edrx edrx   5978 Jul 17 10:16 modelcheck.e.html
-rw-r--r--  1 edrx edrx  26301 Sep  3  2007 modem.e
-rw-r--r--  1 edrx edrx  41455 Jul 17 10:16 modem.e.html
-rw-r--r--  1 edrx edrx   2019 Dec  2  2004 modula3.e
-rw-r--r--  1 edrx edrx   3215 Jul 17 10:16 modula3.e.html
-rw-r--r--  1 edrx edrx   4246 Dec 14  2004 mouse.e
-rw-r--r--  1 edrx edrx   8259 Jul 17 10:16 mouse.e.html
-rw-r--r--  1 edrx edrx  14462 May 28  2006 mp3.e
-rw-r--r--  1 edrx edrx  20558 Jul 17 10:16 mp3.e.html
-rw-r--r--  1 edrx edrx   2030 Jun 30  2005 multiterminal.e
-rw-r--r--  1 edrx edrx   3550 Jul 17 10:16 multiterminal.e.html
-rw-r--r--  1 edrx edrx  33414 Oct 28  2007 music.e
-rw-r--r--  1 edrx edrx  53006 Jul 17 10:16 music.e.html
-rw-r--r--  1 edrx edrx  13859 May 21  2007 mysql.e
-rw-r--r--  1 edrx edrx  22180 Jul 17 10:16 mysql.e.html
-rw-r--r--  1 edrx edrx  21471 May 17  2007 net.e
-rw-r--r--  1 edrx edrx  34677 Jul 17 10:16 net.e.html
-rw-r--r--  1 edrx edrx  10311 Dec 23  2004 netbasics.e
-rw-r--r--  1 edrx edrx  13758 Jul 17 10:16 netbasics.e.html
-rw-r--r--  1 edrx edrx  22285 Jan 23 17:37 netbsd.e
-rw-r--r--  1 edrx edrx  40319 Jul 17 10:16 netbsd.e.html
-rw-r--r--  1 edrx edrx  21481 Dec  2  2004 netscape.e
-rw-r--r--  1 edrx edrx  28194 Jul 17 10:16 netscape.e.html
-rw-r--r--  1 edrx edrx   3511 Dec  2  2004 news.e
-rw-r--r--  1 edrx edrx   6005 Jul 17 10:16 news.e.html
-rw-r--r--  1 edrx edrx   3321 Dec  2  2004 nonfree.e
-rw-r--r--  1 edrx edrx   5356 Jul 17 10:16 nonfree.e.html
-rw-r--r--  1 edrx edrx   3593 Dec  2  2004 octal.e
-rw-r--r--  1 edrx edrx   5756 Jul 17 10:16 octal.e.html
-rw-r--r--  1 edrx edrx   7968 Dec  2  2004 oldpage.e
-rw-r--r--  1 edrx edrx  11089 Jul 17 10:16 oldpage.e.html
-rw-r--r--  1 edrx edrx  11296 Jan 24 06:54 omnisys.e
-rw-r--r--  1 edrx edrx  20746 Jul 17 10:16 omnisys.e.html
-rw-r--r--  1 edrx edrx   6617 Jan  4  2008 openoffice.e
-rw-r--r--  1 edrx edrx  10404 Jul 17 10:16 openoffice.e.html
-rw-r--r--  1 edrx edrx   7085 Jun 29  2006 oracle.e
-rw-r--r--  1 edrx edrx  11368 Jul 17 10:16 oracle.e.html
-rw-r--r--  1 edrx edrx   4750 Dec  2  2004 oskit.e
-rw-r--r--  1 edrx edrx   7289 Jul 17 10:16 oskit.e.html
-rw-r--r--  1 edrx edrx  36328 Jun 25 18:29 page.e
-rw-r--r--  1 edrx edrx  62881 Jul 17 10:16 page.e.html
-rw-r--r--  1 edrx edrx   6229 Jan 29  2005 pam.e
-rw-r--r--  1 edrx edrx  14703 Jul 17 10:16 pam.e.html
-rw-r--r--  1 edrx edrx  20356 Jun 11 06:34 perl.e
-rw-r--r--  1 edrx edrx  33540 Jul 17 10:16 perl.e.html
-rw-r--r--  1 edrx edrx   3356 Dec  2  2004 perl1.e
-rw-r--r--  1 edrx edrx   4464 Jul 17 10:16 perl1.e.html
-rw-r--r--  1 edrx edrx  17900 May 25  2007 php.e
-rw-r--r--  1 edrx edrx  26663 Jul 17 10:16 php.e.html
-rw-r--r--  1 edrx edrx   3063 May 24  2007 pic.e
-rw-r--r--  1 edrx edrx   5688 Jul 17 10:16 pic.e.html
-rw-r--r--  1 edrx edrx   2932 Feb 28 09:48 plan9.e
-rw-r--r--  1 edrx edrx   5116 Jul 17 10:16 plan9.e.html
-rw-r--r--  1 edrx edrx   2658 Feb  2  2005 planner.e
-rw-r--r--  1 edrx edrx   3954 Jul 17 10:16 planner.e.html
-rw-r--r--  1 edrx edrx  53701 Apr 22 19:30 plurall.e
-rw-r--r--  1 edrx edrx  90397 Jul 17 10:16 plurall.e.html
-rw-r--r--  1 edrx edrx  15695 Aug 31  2006 postgres.e
-rw-r--r--  1 edrx edrx  25478 Jul 17 10:16 postgres.e.html
-rw-r--r--  1 edrx edrx  11875 Dec  2  2004 potato.e
-rw-r--r--  1 edrx edrx  18410 Jul 17 10:16 potato.e.html
-rw-r--r--  1 edrx edrx   5913 Dec  2  2004 potatocds.e
-rw-r--r--  1 edrx edrx   9665 Jul 17 10:16 potatocds.e.html
-rw-r--r--  1 edrx edrx  22079 Feb 19 18:42 print.e
-rw-r--r--  1 edrx edrx  32708 Jul 17 10:16 print.e.html
-rw-r--r--  1 edrx edrx  29872 Mar  2 23:40 ps.e
-rw-r--r--  1 edrx edrx  47404 Jul 17 10:16 ps.e.html
-rw-r--r--  1 edrx edrx  20075 Jun 28 12:39 python.e
-rw-r--r--  1 edrx edrx  30842 Jul 17 10:16 python.e.html
-rw-r--r--  1 edrx edrx  15180 Dec  5  2007 qemu.e
-rw-r--r--  1 edrx edrx  27284 Jul 17 10:16 qemu.e.html
-rw-r--r--  1 edrx edrx  13149 Feb  7 12:13 qt.e
-rw-r--r--  1 edrx edrx  22978 Jul 17 10:16 qt.e.html
-rw-r--r--  1 edrx edrx   9254 Dec  2  2004 raven10.e
-rw-r--r--  1 edrx edrx  11724 Jul 17 10:16 raven10.e.html
-rw-r--r--  1 edrx edrx   8847 Dec  2  2004 raven10b.e
-rw-r--r--  1 edrx edrx  11423 Jul 17 10:16 raven10b.e.html
-rw-r--r--  1 edrx edrx  37223 Dec  2  2004 redhat.e
-rw-r--r--  1 edrx edrx  47751 Jul 17 10:16 redhat.e.html
-rw-r--r--  1 edrx edrx  11715 Dec  2  2004 rest.e
-rw-r--r--  1 edrx edrx  15252 Jul 17 10:16 rest.e.html
-rw-r--r--  1 edrx edrx   2486 Dec  2  2004 rpm.e
-rw-r--r--  1 edrx edrx   4438 Jul 17 10:16 rpm.e.html
-rw-r--r--  1 edrx edrx  61563 Dec  1  2007 ruby.e
-rw-r--r--  1 edrx edrx  95638 Jul 17 10:16 ruby.e.html
-rw-r--r--  1 edrx edrx   7421 Apr  6 12:44 rubyforth.e
-rw-r--r--  1 edrx edrx  12679 Jul 17 10:16 rubyforth.e.html
-rw-r--r--  1 edrx edrx   7480 Mar 16  2007 scheme.e
-rw-r--r--  1 edrx edrx  12286 Jul 17 10:16 scheme.e.html
-rw-r--r--  1 edrx edrx  19158 Oct  9  2007 scintilla.e
-rw-r--r--  1 edrx edrx  32707 Jul 17 10:16 scintilla.e.html
-rw-r--r--  1 edrx edrx   7206 Feb  9  2005 screen.e
-rw-r--r--  1 edrx edrx  11692 Jul 17 10:16 screen.e.html
-rw-r--r--  1 edrx edrx   2966 Dec  2  2004 slink.e
-rw-r--r--  1 edrx edrx   4624 Jul 17 10:16 slink.e.html
-rw-r--r--  1 edrx edrx  12613 Jan 21 09:45 smalltalk.e
-rw-r--r--  1 edrx edrx  18258 Jul 17 10:16 smalltalk.e.html
-rw-r--r--  1 edrx edrx   4192 Dec  2  2004 snarf.e
-rw-r--r--  1 edrx edrx   6336 Jul 17 10:16 snarf.e.html
-rw-r--r--  1 edrx edrx   1388 Sep  4  2007 sound.e
-rw-r--r--  1 edrx edrx   2429 Jul 17 10:16 sound.e.html
-rw-r--r--  1 edrx edrx  10948 May 11  2007 sql.e
-rw-r--r--  1 edrx edrx  15966 Jul 17 10:16 sql.e.html
-rw-r--r--  1 edrx edrx   8260 Apr 21 21:59 sqlite.e
-rw-r--r--  1 edrx edrx  13922 Jul 17 10:16 sqlite.e.html
-rw-r--r--  1 edrx edrx  14232 Nov  5  2007 squeak.e
-rw-r--r--  1 edrx edrx  24246 Jul 17 10:16 squeak.e.html
-rw-r--r--  1 edrx edrx  12552 Jan 31 07:48 ssh.e
-rw-r--r--  1 edrx edrx  20261 Jul 17 10:16 ssh.e.html
-rw-r--r--  1 edrx edrx   2697 Sep 10  2007 sudo.e
-rw-r--r--  1 edrx edrx   4683 Jul 17 10:16 sudo.e.html
-rw-r--r--  1 edrx edrx   6378 Aug 29  2006 sweetjane.e
-rw-r--r--  1 edrx edrx  10514 Jul 17 10:16 sweetjane.e.html
-rw-r--r--  1 edrx edrx  16354 Jul 24  2006 swig.e
-rw-r--r--  1 edrx edrx  24838 Jul 17 10:16 swig.e.html
-rw-r--r--  1 edrx edrx  34510 Dec  2  2004 tcl-cipsga.e
-rw-r--r--  1 edrx edrx  47133 Jul 17 10:16 tcl-cipsga.e.html
-rw-r--r--  1 edrx edrx 106568 Jul  8 13:23 tcl.e
-rw-r--r--  1 edrx edrx 168463 Jul 17 10:16 tcl.e.html
-rw-r--r--  1 edrx edrx   2735 Dec  2  2004 tcsh.e
-rw-r--r--  1 edrx edrx   4806 Jul 17 10:16 tcsh.e.html
-rw-r--r--  1 edrx edrx   2656 Dec  2  2004 tese.e
-rw-r--r--  1 edrx edrx   3846 Jul 17 10:16 tese.e.html
-rw-r--r--  1 edrx edrx 152195 Jul 12 15:33 tex.e
-rw-r--r--  1 edrx edrx 244589 Jul 17 10:16 tex.e.html
-rw-r--r--  1 edrx edrx  21685 Jul  5 20:16 texinfo.e
-rw-r--r--  1 edrx edrx  44242 Jul 17 10:16 texinfo.e.html
-rw-r--r--  1 edrx edrx   1624 Dec  2  2004 todo.e
-rw-r--r--  1 edrx edrx   2586 Jul 17 10:16 todo.e.html
-rw-r--r--  1 edrx edrx   4093 Jan 28  2005 tomsrtbt.e
-rw-r--r--  1 edrx edrx   6274 Jul 17 10:16 tomsrtbt.e.html
-rw-r--r--  1 edrx edrx   1994 Dec  2  2004 tourism.e
-rw-r--r--  1 edrx edrx   3754 Jul 17 10:16 tourism.e.html
-rw-r--r--  1 edrx edrx   4590 Dec  2  2004 transp.e
-rw-r--r--  1 edrx edrx   5716 Jul 17 10:16 transp.e.html
-rw-r--r--  1 edrx edrx   3661 Feb 22 09:17 ubuntu.e
-rw-r--r--  1 edrx edrx   6591 Jul 17 10:16 ubuntu.e.html
-rw-r--r--  1 edrx edrx   8784 Dec 15  2004 usermodelinux.e
-rw-r--r--  1 edrx edrx  14692 Jul 17 10:16 usermodelinux.e.html
-rw-r--r--  1 edrx edrx   5619 Apr  2  2007 vi.e
-rw-r--r--  1 edrx edrx   8611 Jul 17 10:16 vi.e.html
-rw-r--r--  1 edrx edrx   7141 Mar 23  2005 vnc.e
-rw-r--r--  1 edrx edrx  12442 Jul 17 10:16 vnc.e.html
-rw-r--r--  1 edrx edrx   9226 Jan 18 15:09 w32.e
-rw-r--r--  1 edrx edrx  17137 Jul 17 10:16 w32.e.html
-rw-r--r--  1 edrx edrx   7734 Dec 13  2007 wget.e
-rw-r--r--  1 edrx edrx  13337 Jul 17 10:16 wget.e.html
-rw-r--r--  1 edrx edrx  37380 Dec  2  2004 wiki.e
-rw-r--r--  1 edrx edrx  60222 Jul 17 10:16 wiki.e.html
-rw-r--r--  1 edrx edrx  79449 May 31 23:55 x.e
-rw-r--r--  1 edrx edrx 134224 Jul 17 10:16 x.e.html
-rw-r--r--  1 edrx edrx   4221 Jan 29 16:02 xen.e
-rw-r--r--  1 edrx edrx   6688 Jul 17 10:16 xen.e.html
-rw-r--r--  1 edrx edrx  14110 Dec  2  2004 xxx-server.e
-rw-r--r--  1 edrx edrx  21995 Jul 17 10:16 xxx-server.e.html
-rw-r--r--  1 edrx edrx  19660 Jul 12 16:25 xypic.e
-rw-r--r--  1 edrx edrx  31867 Jul 17 10:16 xypic.e.html
-rw-r--r--  1 edrx edrx  10856 Dec  2  2004 yard.e
-rw-r--r--  1 edrx edrx  14132 Jul 17 10:16 yard.e.html
-rw-r--r--  1 edrx edrx  17768 Dec 21  2007 zsh.e
-rw-r--r--  1 edrx edrx  29964 Jul 17 10:16 zsh.e.html