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