drwxr-xr-x 2 edrx edrx 8192 Nov 19 15:00 ./ drwxr-xr-x 92 edrx edrx 8192 Nov 19 15:01 ../ -rw-r--r-- 1 edrx edrx 8554 Apr 23 2009 01jul14.th -rw-r--r-- 1 edrx edrx 21056 Nov 16 07:19 2007diffcats.blogme -rw-r--r-- 1 edrx edrx 5587 Apr 23 2009 2007dnc-bcc.blogme -rw-r--r-- 1 edrx edrx 5932 Apr 23 2009 2007dnc-cats.blogme -rw-r--r-- 1 edrx edrx 7714 Apr 23 2009 2007dnc-etc.blogme -rw-r--r-- 1 edrx edrx 7368 Apr 23 2009 2007dnc-halfdnc.blogme -rw-r--r-- 1 edrx edrx 2949 Apr 23 2009 2007dnc-lst.blogme -rw-r--r-- 1 edrx edrx 8694 Apr 23 2009 2007dnc-monads.blogme -rw-r--r-- 1 edrx edrx 3149 Nov 9 07:24 2007dnc-sdg.blogme -rw-r--r-- 1 edrx edrx 17661 Apr 23 2009 2007dnc-sets.blogme -rw-r--r-- 1 edrx edrx 18466 Apr 23 2009 2007hyperdoctrines.blogme -rw-r--r-- 1 edrx edrx 3072 Apr 23 2009 2007lcccs.blogme -rw-r--r-- 1 edrx edrx 12248 Apr 23 2009 2007mesa.blogme -rw-r--r-- 1 edrx edrx 13268 Apr 23 2009 2007semantics.blogme -rw-r--r-- 1 edrx edrx 5308 Apr 23 2009 2007sheaves.blogme -rw-r--r-- 1 edrx edrx 23540 Jun 30 16:04 2009.1-C1.blogme -rw-r--r-- 1 edrx edrx 14813 Sep 1 13:22 2009.1-C2.blogme -rw-r--r-- 1 edrx edrx 8010 Jun 22 09:35 2009.1-MD.blogme -rw-r--r-- 1 edrx edrx 1956 Sep 3 06:34 2009.1.blogme -rw-r--r-- 1 edrx edrx 13548 Nov 5 06:14 2009.2-C2.blogme -rw-r--r-- 1 edrx edrx 6763 Nov 5 06:14 2009.2-C4.blogme -rw-r--r-- 1 edrx edrx 9887 Nov 18 07:25 2009.2-MD.blogme -rw-r--r-- 1 edrx edrx 1749 Sep 16 06:49 2009.2.blogme -rw-r--r-- 1 edrx edrx 3879 Nov 4 07:44 2009workshop.blogme -rw-r--r-- 1 edrx edrx 5404 Apr 23 2009 Debiandocs.tcl -rw-r--r-- 1 edrx edrx 6429 Nov 19 15:00 Debiandocs.tcl.html -rw-r--r-- 1 edrx edrx 204 Apr 23 2009 Estatistica.th -rw-r--r-- 1 edrx edrx 28269 Apr 23 2009 Files.tcl -rw-r--r-- 1 edrx edrx 34120 Nov 19 15:00 Files.tcl.html -rw-r--r-- 1 edrx edrx 229 Apr 23 2009 FundComp.th -rwxr-xr-x 1 edrx edrx 22500 Apr 23 2009 Generate* -rw-r--r-- 1 edrx edrx 32548 Nov 19 15:00 Generate.html -rw-r--r-- 1 edrx edrx 179 Apr 23 2009 Geometria.th -rw-r--r-- 1 edrx edrx 13199 Apr 23 2009 Htmllib.tcl -rw-r--r-- 1 edrx edrx 19335 Nov 19 15:00 Htmllib.tcl.html -rw-r--r-- 1 edrx edrx 5808 Aug 12 12:08 Makefile -rw-r--r-- 1 edrx edrx 238742 Nov 19 15:00 Makefile.auto -rw-r--r-- 1 edrx edrx 9549 Nov 19 15:00 Makefile.html -rw-r--r-- 1 edrx edrx 5522 Nov 4 07:44 amazon-diane-arbus-problem.blogme -rw-r--r-- 1 edrx edrx 2316 Apr 23 2009 anaisnin.blogme -rw-r--r-- 1 edrx edrx 2062 Apr 23 2009 arafat.th -rw-r--r-- 1 edrx edrx 1319 Apr 23 2009 aupairs.blogme -rw-r--r-- 1 edrx edrx 5146 Apr 23 2009 blog.blogme -rw-r--r-- 1 edrx edrx 14885 Apr 23 2009 blogme.blogme -rw-r--r-- 1 edrx edrx 6491 Apr 23 2009 blogme3-angg.blogme -rw-r--r-- 1 edrx edrx 34115 Apr 23 2009 blogme3.blogme -rw-r--r-- 1 edrx edrx 22281 Aug 18 06:07 bookmarks.blogme -rw-r--r-- 1 edrx edrx 1155 Apr 23 2009 carburadores.blogme -rw-r--r-- 1 edrx edrx 1384 Apr 23 2009 cipsga.th -rw-r--r-- 1 edrx edrx 6129 Apr 23 2009 coe.blogme -rw-r--r-- 1 edrx edrx 10896 Apr 23 2009 concurso.blogme -rw-r--r-- 1 edrx edrx 4498 Apr 23 2009 contact-old.th -rw-r--r-- 1 edrx edrx 5548 Apr 23 2009 contact.blogme -rw-r--r-- 1 edrx edrx 2793 Apr 23 2009 coq.blogme -rw-r--r-- 1 edrx edrx 2122 Apr 23 2009 crashco.th -rw-r--r-- 1 edrx edrx 3903 Apr 23 2009 crim1.th -rw-r--r-- 1 edrx edrx 1558 Jul 29 08:31 crowley.blogme -rw-r--r-- 1 edrx edrx 12412 Apr 23 2009 cv-edrx-2005-pt.blogme -rw-r--r-- 1 edrx edrx 25552 Apr 23 2009 davinci.blogme -rw-r--r-- 1 edrx edrx 3746 Apr 23 2009 dba.blogme -rw-r--r-- 1 edrx edrx 13369 Apr 23 2009 debian.blogme -rw-r--r-- 1 edrx edrx 2277 Apr 23 2009 debug.th -rw-r--r-- 1 edrx edrx 898 Apr 23 2009 dednat.th -rw-r--r-- 1 edrx edrx 18348 Apr 23 2009 dednat4-log.blogme -rw-r--r-- 1 edrx edrx 26671 Apr 23 2009 dednat4.blogme -rw-r--r-- 1 edrx edrx 1215 Apr 23 2009 desalojados.blogme -rw-r--r-- 1 edrx edrx 11744 Apr 23 2009 desarmamento.blogme -rw-r--r-- 1 edrx edrx 2838 Apr 23 2009 diaglib-old.th -rw-r--r-- 1 edrx edrx 3419 Apr 23 2009 dnc2007.blogme -rw-r--r-- 1 edrx edrx 2689 Apr 23 2009 duallinux.th -rw-r--r-- 1 edrx edrx 2912 Apr 23 2009 dvis.th -rw-r--r-- 1 edrx edrx 4359 Apr 23 2009 eev-2004.th -rw-r--r-- 1 edrx edrx 84920 Apr 23 2009 eev-article.blogme -rw-r--r-- 1 edrx edrx 13953 Apr 23 2009 eev-mails.th -rw-r--r-- 1 edrx edrx 5692 Apr 23 2009 eev-manifesto.blogme -rw-r--r-- 1 edrx edrx 3101 Apr 23 2009 eev-notes.th -rw-r--r-- 1 edrx edrx 72238 Apr 23 2009 eev.blogme -rw-r--r-- 1 edrx edrx 11283 Apr 23 2009 emacs-old.th -rw-r--r-- 1 edrx edrx 10469 Apr 23 2009 emacs-tutor.th -rw-r--r-- 1 edrx edrx 40311 Oct 23 07:39 emacs.blogme -rw-r--r-- 1 edrx edrx 1939 Apr 23 2009 escripts.th -rw-r--r-- 1 edrx edrx 578 Apr 23 2009 files.th -rw-r--r-- 1 edrx edrx 7777 Apr 23 2009 floreser.blogme -rw-r--r-- 1 edrx edrx 11147 Apr 23 2009 forth.th -rw-r--r-- 1 edrx edrx 2099 Sep 21 04:32 friends.blogme -rw-r--r-- 1 edrx edrx 1507 Apr 23 2009 fvwm.blogme -rw-r--r-- 1 edrx edrx 20444 Apr 23 2009 gaiman.blogme -rw-r--r-- 1 edrx edrx 18851 Apr 23 2009 galdino.blogme -rw-r--r-- 1 edrx edrx 7874 Oct 19 04:49 gender.blogme -rw-r--r-- 1 edrx edrx 1883 Apr 23 2009 glyphs.blogme -rw-r--r-- 1 edrx edrx 2817 Apr 23 2009 gnu.blogme -rw-r--r-- 1 edrx edrx 1786 Apr 23 2009 grub.th -rw-r--r-- 1 edrx edrx 5308 Apr 23 2009 hacks.th -rw-r--r-- 1 edrx edrx 4632 Apr 23 2009 harry.blogme -rw-r--r-- 1 edrx edrx 7220 Apr 23 2009 haskell.blogme -rw-r--r-- 1 edrx edrx 9153 Nov 4 07:44 heroes.blogme -rw-r--r-- 1 edrx edrx 2289 Apr 23 2009 html.th -rw-r--r-- 1 edrx edrx 5593 Apr 23 2009 hurd.th -rw-r--r-- 1 edrx edrx 4488 Apr 23 2009 icon.blogme -rw-r--r-- 1 edrx edrx 1276 Apr 23 2009 iggy.blogme -rw-r--r-- 1 edrx edrx 8319 Apr 23 2009 index-old.th -rw-r--r-- 1 edrx edrx 28850 Apr 23 2009 index-th.th -rw-r--r-- 1 edrx edrx 20036 Apr 23 2009 index.blogme -rw-r--r-- 1 edrx edrx 3917 Apr 23 2009 index2.th -rw-r--r-- 1 edrx edrx 18089 Apr 23 2009 index2007.blogme -rw-r--r-- 1 edrx edrx 3685 Apr 23 2009 iskidip.blogme -rw-r--r-- 1 edrx edrx 3209 Apr 23 2009 iskidip0.blogme -rw-r--r-- 1 edrx edrx 8306 Apr 23 2009 iup.blogme -rw-r--r-- 1 edrx edrx 8947 Apr 23 2009 j2tech.blogme -rw-r--r-- 1 edrx edrx 8146 Apr 23 2009 latex.blogme -rw-r--r-- 1 edrx edrx 602 Apr 23 2009 leatavora.blogme -rw-r--r-- 1 edrx edrx 7956 Apr 23 2009 linux.th -rw-r--r-- 1 edrx edrx 1322 Apr 23 2009 literature.blogme -rw-r--r-- 1 edrx edrx 9156 Apr 23 2009 littlelangs.blogme -rw-r--r-- 1 edrx edrx 1772 Sep 1 14:17 llarc.blogme -rw-r--r-- 1 edrx edrx 9225 Apr 23 2009 logic.th -rw-r--r-- 1 edrx edrx 1874 Apr 23 2009 lua-old.th -rw-r--r-- 1 edrx edrx 17382 Apr 23 2009 luaforth.blogme -rw-r--r-- 1 edrx edrx 6907 Apr 23 2009 luasocket.blogme -rw-r--r-- 1 edrx edrx 2827 Apr 23 2009 map.th -rw-r--r-- 1 edrx edrx 43869 Aug 10 11:25 math-b.blogme -rw-r--r-- 1 edrx edrx 24858 Apr 23 2009 math.th -rw-r--r-- 1 edrx edrx 3041 Apr 23 2009 michel.blogme -rw-r--r-- 1 edrx edrx 390 Apr 23 2009 middle-c.blogme -rw-r--r-- 1 edrx edrx 41464 Apr 23 2009 miniforth-article.blogme -rw-r--r-- 1 edrx edrx 647 Apr 23 2009 miniforth.blogme -rw-r--r-- 1 edrx edrx 312 Apr 23 2009 minilangs.blogme -rw-r--r-- 1 edrx edrx 2057 Apr 23 2009 mktclapp.th -rw-r--r-- 1 edrx edrx 8441 Apr 23 2009 montreal.th -rw-r--r-- 1 edrx edrx 8873 Apr 23 2009 moreabout.blogme -rw-r--r-- 1 edrx edrx 12318 Nov 4 07:44 movies.blogme -rw-r--r-- 1 edrx edrx 14029 Jun 22 09:35 music.blogme -rw-r--r-- 1 edrx edrx 226 Apr 23 2009 oficinadasemente.blogme -rw-r--r-- 1 edrx edrx 91063 Sep 14 17:33 omnisys.blogme -rw-r--r-- 1 edrx edrx 11812 Apr 23 2009 orides.blogme -rw-r--r-- 1 edrx edrx 3979 Apr 23 2009 orlovsky.blogme -rw-r--r-- 1 edrx edrx 4317 Apr 23 2009 other.th -rw-r--r-- 1 edrx edrx 8638 Apr 23 2009 peek.blogme -rw-r--r-- 1 edrx edrx 1383 Apr 23 2009 perl.th -rw-r--r-- 1 edrx edrx 11981 Apr 23 2009 personal.blogme -rw-r--r-- 1 edrx edrx 6005 Apr 23 2009 plurall.blogme -rw-r--r-- 1 edrx edrx 12196 Apr 23 2009 politics.blogme -rw-r--r-- 1 edrx edrx 4159 Apr 23 2009 prestesjoao.blogme -rw-r--r-- 1 edrx edrx 2531 Apr 23 2009 puro.blogme -rw-r--r-- 1 edrx edrx 624 Apr 23 2009 python.th -rw-r--r-- 1 edrx edrx 243 Apr 23 2009 rcirc.blogme -rw-r--r-- 1 edrx edrx 997 Apr 23 2009 redhat0.th -rw-r--r-- 1 edrx edrx 3063 Apr 23 2009 repl.blogme -rw-r--r-- 1 edrx edrx 3249 Oct 27 08:12 romano.blogme -rw-r--r-- 1 edrx edrx 10554 Apr 23 2009 rrj.blogme -rw-r--r-- 1 edrx edrx 8211 Apr 23 2009 rrj2.blogme -rw-r--r-- 1 edrx edrx 37896 Sep 8 13:32 rrj3.blogme -rw-r--r-- 1 edrx edrx 8660 Apr 23 2009 rrj4.blogme -rw-r--r-- 1 edrx edrx 1705 Apr 23 2009 rrj5.blogme -rw-r--r-- 1 edrx edrx 5098 Apr 23 2009 rrj6.blogme -rw-r--r-- 1 edrx edrx 3162 Apr 23 2009 rrj7.blogme -rw-r--r-- 1 edrx edrx 74680 Sep 14 14:27 rrjs.blogme -rw-r--r-- 1 edrx edrx 1113 Apr 23 2009 ruby.blogme -rw-r--r-- 1 edrx edrx 5901 Apr 23 2009 search.th -rw-r--r-- 1 edrx edrx 944 Apr 23 2009 seminar-notes.blogme -rw-r--r-- 1 edrx edrx 2031 Apr 23 2009 sistersally.blogme -rw-r--r-- 1 edrx edrx 1036 Apr 23 2009 smalltalk.blogme -rw-r--r-- 1 edrx edrx 1361 Apr 23 2009 snarf.th -rw-r--r-- 1 edrx edrx 15781 Apr 23 2009 snyder.blogme -rw-r--r-- 1 edrx edrx 4456 Sep 1 13:18 speedbar.blogme -rw-r--r-- 1 edrx edrx 7829 Apr 23 2009 tcl.blogme -rw-r--r-- 1 edrx edrx 16819 Apr 23 2009 tcltk.th -rw-r--r-- 1 edrx edrx 336 Apr 23 2009 tese.th -rw-r--r-- 1 edrx edrx 166 Apr 23 2009 test.th -rw-r--r-- 1 edrx edrx 15873 Apr 23 2009 thl.th -rw-r--r-- 1 edrx edrx 25595 Apr 23 2009 tmp-b.blogme -rw-r--r-- 1 edrx edrx 26537 Apr 23 2009 tmp.blogme -rw-r--r-- 1 edrx edrx 1062 Apr 23 2009 to-do.th -rw-r--r-- 1 edrx edrx 1845 Oct 27 08:13 todo.blogme -rw-r--r-- 1 edrx edrx 7548 Apr 23 2009 tourism-old.th -rw-r--r-- 1 edrx edrx 8998 Apr 23 2009 tourism.blogme -rw-r--r-- 1 edrx edrx 53729 Apr 23 2009 unclassified.blogme -rw-r--r-- 1 edrx edrx 58280 Apr 23 2009 unclassified2.blogme -rw-r--r-- 1 edrx edrx 39737 Apr 23 2009 unclassified3.blogme -rw-r--r-- 1 edrx edrx 1488 Apr 23 2009 unibanco.blogme -rw-r--r-- 1 edrx edrx 9251 Apr 23 2009 vegan-old.th -rw-r--r-- 1 edrx edrx 7835 Aug 24 16:17 vegan.blogme -rw-r--r-- 1 edrx edrx 5540 Apr 23 2009 vegan1.blogme -rw-r--r-- 1 edrx edrx 9634 Nov 4 07:44 videos.blogme -rw-r--r-- 1 edrx edrx 1067 Apr 23 2009 vtutil.th -rw-r--r-- 1 edrx edrx 3529 Oct 19 16:19 w32.blogme -rw-r--r-- 1 edrx edrx 6969 Apr 23 2009 webcomics.blogme -rw-r--r-- 1 edrx edrx 11061 Apr 23 2009 why-users.blogme -rw-r--r-- 1 edrx edrx 3997 Apr 23 2009 wilimlj.blogme -rw-r--r-- 1 edrx edrx 684 Apr 23 2009 zsh.th