drwxr-xr-x  2 edrx edrx   4096 Oct 12 03:44 ./
drwxr-xr-x 89 edrx edrx   8192 Oct 12 03:44 ../
-rw-r--r--  1 edrx edrx   8554 Dec  2  2004 01jul14.th
-rw-r--r--  1 edrx edrx  21011 Dec 17  2007 2007diffcats.blogme
-rw-r--r--  1 edrx edrx   5587 Mar 20  2008 2007dnc-bcc.blogme
-rw-r--r--  1 edrx edrx   5932 Mar 18  2008 2007dnc-cats.blogme
-rw-r--r--  1 edrx edrx   7714 May  4 16:17 2007dnc-etc.blogme
-rw-r--r--  1 edrx edrx   7368 Nov 17  2007 2007dnc-halfdnc.blogme
-rw-r--r--  1 edrx edrx   2949 Mar 18  2008 2007dnc-lst.blogme
-rw-r--r--  1 edrx edrx   8694 Nov 24  2007 2007dnc-monads.blogme
-rw-r--r--  1 edrx edrx   3107 Mar 18  2008 2007dnc-sdg.blogme
-rw-r--r--  1 edrx edrx  17661 Nov 17  2007 2007dnc-sets.blogme
-rw-r--r--  1 edrx edrx  18466 Nov 19  2007 2007hyperdoctrines.blogme
-rw-r--r--  1 edrx edrx   3072 Nov 17  2007 2007lcccs.blogme
-rw-r--r--  1 edrx edrx  12248 May  5 12:26 2007mesa.blogme
-rw-r--r--  1 edrx edrx  13268 Nov 16  2007 2007semantics.blogme
-rw-r--r--  1 edrx edrx   5308 Oct 29  2007 2007sheaves.blogme
-rw-r--r--  1 edrx edrx   5404 Dec  2  2004 Debiandocs.tcl
-rw-r--r--  1 edrx edrx   6429 Oct 12 03:44 Debiandocs.tcl.html
-rw-r--r--  1 edrx edrx    204 Dec  2  2004 Estatistica.th
-rw-r--r--  1 edrx edrx  28269 May  1  2007 Files.tcl
-rw-r--r--  1 edrx edrx  34120 Oct 12 03:44 Files.tcl.html
-rw-r--r--  1 edrx edrx    229 Dec  2  2004 FundComp.th
-rwxr-xr-x  1 edrx edrx  22500 Oct 17  2005 Generate*
-rw-r--r--  1 edrx edrx  32548 Oct 12 03:44 Generate.html
-rw-r--r--  1 edrx edrx    179 Dec  2  2004 Geometria.th
-rw-r--r--  1 edrx edrx  13199 Dec  2  2004 Htmllib.tcl
-rw-r--r--  1 edrx edrx  19335 Oct 12 03:44 Htmllib.tcl.html
-rw-r--r--  1 edrx edrx   5589 Sep 28 16:08 Makefile
-rw-r--r--  1 edrx edrx 220814 Oct 12 03:43 Makefile.auto
-rw-r--r--  1 edrx edrx   9330 Oct 12 03:44 Makefile.html
-rw-r--r--  1 edrx edrx   2316 Dec 18  2007 anaisnin.blogme
-rw-r--r--  1 edrx edrx   2062 Dec  2  2004 arafat.th
-rw-r--r--  1 edrx edrx   5146 Mar 15  2006 blog.blogme
-rw-r--r--  1 edrx edrx  14885 Oct 24  2007 blogme.blogme
-rw-r--r--  1 edrx edrx   6491 Nov 12  2007 blogme3-angg.blogme
-rw-r--r--  1 edrx edrx  34115 Dec 26  2007 blogme3.blogme
-rw-r--r--  1 edrx edrx  22684 Oct  4 00:57 bookmarks.blogme
-rw-r--r--  1 edrx edrx   1155 May  4 16:23 carburadores.blogme
-rw-r--r--  1 edrx edrx   1384 Dec  2  2004 cipsga.th
-rw-r--r--  1 edrx edrx   6129 Nov  2  2007 coe.blogme
-rw-r--r--  1 edrx edrx   9544 Sep  5 18:25 concurso.blogme
-rw-r--r--  1 edrx edrx   4498 Dec  2  2004 contact-old.th
-rw-r--r--  1 edrx edrx   5393 Oct  3 08:59 contact.blogme
-rw-r--r--  1 edrx edrx   2793 Aug  9 21:01 coq.blogme
-rw-r--r--  1 edrx edrx   2122 Dec  2  2004 crashco.th
-rw-r--r--  1 edrx edrx   3903 Dec  2  2004 crim1.th
-rw-r--r--  1 edrx edrx   1485 Apr 14 01:20 crowley.blogme
-rw-r--r--  1 edrx edrx  12412 Oct 24  2005 cv-edrx-2005-pt.blogme
-rw-r--r--  1 edrx edrx  25552 Oct 11  2007 davinci.blogme
-rw-r--r--  1 edrx edrx   3746 Apr  4  2007 dba.blogme
-rw-r--r--  1 edrx edrx  13369 Oct 30  2007 debian.blogme
-rw-r--r--  1 edrx edrx   2277 Dec  2  2004 debug.th
-rw-r--r--  1 edrx edrx    898 Apr  1  2007 dednat.th
-rw-r--r--  1 edrx edrx  18348 Jul 12 19:19 dednat4-log.blogme
-rw-r--r--  1 edrx edrx  26671 Jul 12 19:23 dednat4.blogme
-rw-r--r--  1 edrx edrx   1215 Nov 22  2006 desalojados.blogme
-rw-r--r--  1 edrx edrx  11744 Oct 19  2005 desarmamento.blogme
-rw-r--r--  1 edrx edrx   2838 Dec  2  2004 diaglib-old.th
-rw-r--r--  1 edrx edrx   3419 Oct 29  2007 dnc2007.blogme
-rw-r--r--  1 edrx edrx   2689 Dec  2  2004 duallinux.th
-rw-r--r--  1 edrx edrx   2912 Dec  2  2004 dvis.th
-rw-r--r--  1 edrx edrx   4359 Oct 23  2006 eev-2004.th
-rw-r--r--  1 edrx edrx  84920 Feb 16  2008 eev-article.blogme
-rw-r--r--  1 edrx edrx  13953 Dec  2  2004 eev-mails.th
-rw-r--r--  1 edrx edrx   5692 Oct  3 08:50 eev-manifesto.blogme
-rw-r--r--  1 edrx edrx   3101 Dec  2  2004 eev-notes.th
-rw-r--r--  1 edrx edrx  72238 Apr  6  2007 eev.blogme
-rw-r--r--  1 edrx edrx  11283 May  2  2006 emacs-old.th
-rw-r--r--  1 edrx edrx  10469 Dec  2  2004 emacs-tutor.th
-rw-r--r--  1 edrx edrx  37149 Sep  1 12:54 emacs.blogme
-rw-r--r--  1 edrx edrx   1939 Dec  2  2004 escripts.th
-rw-r--r--  1 edrx edrx    578 Dec  2  2004 files.th
-rw-r--r--  1 edrx edrx   7777 Sep 11  2006 floreser.blogme
-rw-r--r--  1 edrx edrx  11147 Nov  2  2006 forth.th
-rw-r--r--  1 edrx edrx   1867 Apr 26 23:17 friends.blogme
-rw-r--r--  1 edrx edrx   1507 Oct 23  2005 fvwm.blogme
-rw-r--r--  1 edrx edrx  20444 Dec  8  2007 gaiman.blogme
-rw-r--r--  1 edrx edrx  18851 Sep 22 17:03 galdino.blogme
-rw-r--r--  1 edrx edrx   1938 Sep 25 18:50 gender.blogme
-rw-r--r--  1 edrx edrx   1883 Apr  6  2008 glyphs.blogme
-rw-r--r--  1 edrx edrx   2817 Dec  5  2007 gnu.blogme
-rw-r--r--  1 edrx edrx   1786 Dec  2  2004 grub.th
-rw-r--r--  1 edrx edrx   5308 Dec  2  2004 hacks.th
-rw-r--r--  1 edrx edrx   6828 Dec  2  2004 haskell.th
-rw-r--r--  1 edrx edrx   9154 Jun 12 08:49 heroes.blogme
-rw-r--r--  1 edrx edrx   2289 Dec  2  2004 html.th
-rw-r--r--  1 edrx edrx   5593 Dec  2  2004 hurd.th
-rw-r--r--  1 edrx edrx   4488 Aug 28  2006 icon.blogme
-rw-r--r--  1 edrx edrx   8319 Dec  2  2004 index-old.th
-rw-r--r--  1 edrx edrx  28850 Jan  1  2005 index-th.th
-rw-r--r--  1 edrx edrx  19301 Oct  3 12:39 index.blogme
-rw-r--r--  1 edrx edrx   3917 Dec  2  2004 index2.th
-rw-r--r--  1 edrx edrx  18089 Apr  5  2007 index2007.blogme
-rw-r--r--  1 edrx edrx   3685 Nov  7  2005 iskidip.blogme
-rw-r--r--  1 edrx edrx   3209 Oct 22  2005 iskidip0.blogme
-rw-r--r--  1 edrx edrx   8306 Oct 11  2007 iup.blogme
-rw-r--r--  1 edrx edrx   8947 Nov 21  2007 j2tech.blogme
-rw-r--r--  1 edrx edrx   8146 Aug 30 11:35 latex.blogme
-rw-r--r--  1 edrx edrx    602 Oct  1  2007 leatavora.blogme
-rw-r--r--  1 edrx edrx   7956 Dec  2  2004 linux.th
-rw-r--r--  1 edrx edrx   1163 May  4 16:22 literature.blogme
-rw-r--r--  1 edrx edrx   9156 Nov 22  2007 littlelangs.blogme
-rw-r--r--  1 edrx edrx   9225 Dec  2  2004 logic.th
-rw-r--r--  1 edrx edrx   1874 Sep  8  2005 lua-old.th
-rw-r--r--  1 edrx edrx  14682 Mar 12  2008 luaforth.blogme
-rw-r--r--  1 edrx edrx   6907 Apr  4  2007 luasocket.blogme
-rw-r--r--  1 edrx edrx   2827 Dec  2  2004 map.th
-rw-r--r--  1 edrx edrx  42837 Oct  3 10:52 math-b.blogme
-rw-r--r--  1 edrx edrx  24858 Dec  2  2004 math.th
-rw-r--r--  1 edrx edrx   3041 Nov  3  2007 michel.blogme
-rw-r--r--  1 edrx edrx    390 Jan 30  2008 middle-c.blogme
-rw-r--r--  1 edrx edrx  41464 Feb 18  2008 miniforth-article.blogme
-rw-r--r--  1 edrx edrx    647 Dec 11  2007 miniforth.blogme
-rw-r--r--  1 edrx edrx    312 Jan 11  2007 minilangs.blogme
-rw-r--r--  1 edrx edrx   2057 Dec  2  2004 mktclapp.th
-rw-r--r--  1 edrx edrx   8441 Dec  2  2004 montreal.th
-rw-r--r--  1 edrx edrx   7103 Aug 20 08:01 moreabout.blogme
-rw-r--r--  1 edrx edrx  10869 Oct  3 22:14 movies.blogme
-rw-r--r--  1 edrx edrx  16795 Aug 29 23:31 music.blogme
-rw-r--r--  1 edrx edrx    226 Jul 16  2006 oficinadasemente.blogme
-rw-r--r--  1 edrx edrx  34221 Oct  6 07:17 omnisys.blogme
-rw-r--r--  1 edrx edrx  11812 Mar 15  2008 orides.blogme
-rw-r--r--  1 edrx edrx   4317 Dec  2  2004 other.th
-rw-r--r--  1 edrx edrx   8638 Jan 30  2008 peek.blogme
-rw-r--r--  1 edrx edrx   1383 Dec  2  2004 perl.th
-rw-r--r--  1 edrx edrx  11834 Apr 13 23:50 personal.blogme
-rw-r--r--  1 edrx edrx   6005 Dec  7  2007 plurall.blogme
-rw-r--r--  1 edrx edrx  12196 Mar  3  2008 politics.blogme
-rw-r--r--  1 edrx edrx   4159 Dec 26  2007 prestesjoao.blogme
-rw-r--r--  1 edrx edrx    624 Dec  2  2004 python.th
-rw-r--r--  1 edrx edrx    997 Dec  2  2004 redhat0.th
-rw-r--r--  1 edrx edrx   3063 Feb 26  2008 repl.blogme
-rw-r--r--  1 edrx edrx  10554 Jul 23 20:56 rrj.blogme
-rw-r--r--  1 edrx edrx   8211 Nov  2  2007 rrj2.blogme
-rw-r--r--  1 edrx edrx  37806 Apr 29  2007 rrj3.blogme
-rw-r--r--  1 edrx edrx   8660 Jul 19  2007 rrj4.blogme
-rw-r--r--  1 edrx edrx   1705 Aug 12  2007 rrj5.blogme
-rw-r--r--  1 edrx edrx   5098 Feb  7  2008 rrj6.blogme
-rw-r--r--  1 edrx edrx   3162 Jan 14  2008 rrj7.blogme
-rw-r--r--  1 edrx edrx   1113 Jul  7  2006 ruby.blogme
-rw-r--r--  1 edrx edrx   5901 Dec  2  2004 search.th
-rw-r--r--  1 edrx edrx    944 Nov 20  2005 seminar-notes.blogme
-rw-r--r--  1 edrx edrx   1036 Aug 13  2006 smalltalk.blogme
-rw-r--r--  1 edrx edrx   1361 Dec  2  2004 snarf.th
-rw-r--r--  1 edrx edrx  15781 Aug 11 17:55 snyder.blogme
-rw-r--r--  1 edrx edrx   4369 Aug 26 23:55 speedbar.blogme
-rw-r--r--  1 edrx edrx   7829 Oct 30  2007 tcl.blogme
-rw-r--r--  1 edrx edrx  16819 Jul  1  2005 tcltk.th
-rw-r--r--  1 edrx edrx    336 Dec  2  2004 tese.th
-rw-r--r--  1 edrx edrx    166 Dec  2  2004 test.th
-rw-r--r--  1 edrx edrx  15873 Dec  2  2004 thl.th
-rw-r--r--  1 edrx edrx  25595 Sep 19  2005 tmp-b.blogme
-rw-r--r--  1 edrx edrx  26537 Feb 20  2007 tmp.blogme
-rw-r--r--  1 edrx edrx   1062 Dec  2  2004 to-do.th
-rw-r--r--  1 edrx edrx   1486 Jan 28  2008 todo.blogme
-rw-r--r--  1 edrx edrx   7548 Dec  2  2004 tourism-old.th
-rw-r--r--  1 edrx edrx   8998 Nov 20  2007 tourism.blogme
-rw-r--r--  1 edrx edrx  53729 Dec  5  2007 unclassified.blogme
-rw-r--r--  1 edrx edrx  58280 Dec  4  2007 unclassified2.blogme
-rw-r--r--  1 edrx edrx  39737 Dec  4  2007 unclassified3.blogme
-rw-r--r--  1 edrx edrx   1488 Apr 29  2006 unibanco.blogme
-rw-r--r--  1 edrx edrx   9251 May 28  2005 vegan-old.th
-rw-r--r--  1 edrx edrx   7540 Aug 27 18:25 vegan.blogme
-rw-r--r--  1 edrx edrx   5540 Apr  6  2007 vegan1.blogme
-rw-r--r--  1 edrx edrx   6837 Oct  6 07:20 videos.blogme
-rw-r--r--  1 edrx edrx   1067 Dec  2  2004 vtutil.th
-rw-r--r--  1 edrx edrx   3312 Oct 22  2007 w32.blogme
-rw-r--r--  1 edrx edrx   5994 Apr 16 11:38 webcomics.blogme
-rw-r--r--  1 edrx edrx  11061 Dec  4  2007 why-users.blogme
-rw-r--r--  1 edrx edrx   3997 Nov  2  2007 wilimlj.blogme
-rw-r--r--  1 edrx edrx    684 Dec  2  2004 zsh.th