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