drwxr-xr-x  2 edrx edrx   8192 Mar 13 01:09 ./
drwxr-xr-x 92 edrx edrx   8192 Mar 13 01:10 ../
-rw-r--r--  1 edrx edrx   8554 Dec  2  2004 01jul14.th
-rw-r--r--  1 edrx edrx  21056 Nov  6 15:13 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  2008 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   3149 Nov  6 13:49 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  2008 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  34061 Feb 23 22:46 2009-cola.blogme
-rw-r--r--  1 edrx edrx  23540 Jul  6  2009 2009.1-C1.blogme
-rw-r--r--  1 edrx edrx  14813 Aug 14  2009 2009.1-C2.blogme
-rw-r--r--  1 edrx edrx   8010 Jun 22  2009 2009.1-MD.blogme
-rw-r--r--  1 edrx edrx   1956 Sep  6  2009 2009.1.blogme
-rw-r--r--  1 edrx edrx  30219 Dec 23 22:01 2009.2-C2.blogme
-rw-r--r--  1 edrx edrx   7812 Dec 23 22:01 2009.2-C4.blogme
-rw-r--r--  1 edrx edrx  20368 Jan 10 18:24 2009.2-MD.blogme
-rw-r--r--  1 edrx edrx   1749 Sep 19 18:30 2009.2.blogme
-rw-r--r--  1 edrx edrx   3879 Nov  3 07:02 2009workshop.blogme
-rw-r--r--  1 edrx edrx    411 Feb 22 12:47 2010.1-C2.blogme
-rw-r--r--  1 edrx edrx    429 Feb 22 12:47 2010.1-MD.blogme
-rw-r--r--  1 edrx edrx   2522 Mar 13 01:07 2010.1.blogme
-rw-r--r--  1 edrx edrx   5404 Dec  2  2004 Debiandocs.tcl
-rw-r--r--  1 edrx edrx   6429 Mar 13 01:09 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 Mar 13 01:09 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 Mar 13 01:09 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 Mar 13 01:09 Htmllib.tcl.html
-rw-r--r--  1 edrx edrx   5808 Aug 14  2009 Makefile
-rw-r--r--  1 edrx edrx 245847 Mar 13 01:09 Makefile.auto
-rw-r--r--  1 edrx edrx   9549 Mar 13 01:09 Makefile.html
-rw-r--r--  1 edrx edrx   5522 Oct 30 17:03 amazon-diane-arbus-problem.blogme
-rw-r--r--  1 edrx edrx   2316 Oct 28  2008 anaisnin.blogme
-rw-r--r--  1 edrx edrx   2062 Dec  2  2004 arafat.th
-rw-r--r--  1 edrx edrx   1319 Jan 10  2009 aupairs.blogme
-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  22306 Feb 23 22:43 bookmarks.blogme
-rw-r--r--  1 edrx edrx   1155 May  4  2008 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  10896 Feb 25  2009 concurso.blogme
-rw-r--r--  1 edrx edrx   4498 Dec  2  2004 contact-old.th
-rw-r--r--  1 edrx edrx   5548 Nov 14  2008 contact.blogme
-rw-r--r--  1 edrx edrx   2793 Aug  9  2008 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   1558 Jul 29  2009 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  2008 dednat4-log.blogme
-rw-r--r--  1 edrx edrx  26671 Jul 12  2008 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  2008 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  40311 Oct 26 17:11 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   2099 Sep 20 16:42 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  19690 Dec  3 14:06 galdino.blogme
-rw-r--r--  1 edrx edrx   7874 Oct 15 15:57 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   4632 Oct 28  2008 harry.blogme
-rw-r--r--  1 edrx edrx   7220 Jan  5  2009 haskell.blogme
-rw-r--r--  1 edrx edrx   9153 Oct 24 16:59 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   1276 Oct 28  2008 iggy.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  20036 Dec  2  2008 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   8473 Dec  3 14:20 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   1322 Dec 25  2008 literature.blogme
-rw-r--r--  1 edrx edrx   9156 Nov 22  2007 littlelangs.blogme
-rw-r--r--  1 edrx edrx   1772 Sep  6  2009 llarc.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  17449 Feb 23 20:07 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  44033 Jan 21 15:36 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   8873 Dec  7  2008 moreabout.blogme
-rw-r--r--  1 edrx edrx  12318 Nov  2 19:14 movies.blogme
-rw-r--r--  1 edrx edrx  14029 Jun 22  2009 music.blogme
-rw-r--r--  1 edrx edrx    226 Jul 16  2006 oficinadasemente.blogme
-rw-r--r--  1 edrx edrx  92847 Jan 21 15:36 omnisys.blogme
-rw-r--r--  1 edrx edrx  11812 Mar 15  2008 orides.blogme
-rw-r--r--  1 edrx edrx   3979 Dec  1  2008 orlovsky.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  11981 Oct 28  2008 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   2531 Mar 17  2009 puro.blogme
-rw-r--r--  1 edrx edrx    624 Dec  2  2004 python.th
-rw-r--r--  1 edrx edrx    243 Dec  1  2008 rcirc.blogme
-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   3249 Oct 30 16:56 romano.blogme
-rw-r--r--  1 edrx edrx  10554 Jul 23  2008 rrj.blogme
-rw-r--r--  1 edrx edrx   8211 Nov  2  2007 rrj2.blogme
-rw-r--r--  1 edrx edrx  37896 Sep  7  2009 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  74680 Sep 19 18:30 rrjs.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   2031 Dec 25  2008 sistersally.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  2008 snyder.blogme
-rw-r--r--  1 edrx edrx   4492 Feb 23 22:49 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   1845 Oct 30 16:56 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   7835 Aug 28  2009 vegan.blogme
-rw-r--r--  1 edrx edrx   5540 Apr  6  2007 vegan1.blogme
-rw-r--r--  1 edrx edrx   9821 Nov 29 10:26 videos.blogme
-rw-r--r--  1 edrx edrx   1067 Dec  2  2004 vtutil.th
-rw-r--r--  1 edrx edrx   3642 Jan 21 15:36 w32.blogme
-rw-r--r--  1 edrx edrx   6969 Dec 26  2008 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