[INCLUDE TH/speedbar.blogme]
[SETFAVICON dednat4/dednat4-icon.png]
[# (defun c () (interactive) (find-blogme3-sh0-if "dnc2007"))
   (defun c () (interactive)
     (let ((output (find-sh0 "cd ~/TH/L/;
         cp ~/TH/dnc2007.blogme ~/TH/L/TH/dnc2007.blogme;
         lua51 ~/blogme3/blogme3.lua \
           -o dnc2007.html -i TH/dnc2007.blogme")))
       (if (equal output "") (message "ok") (find-estring output))))
   ;; (find-blogmefile "README")
   ;; (find-blogmefile "INTERNALS")
   ;; (find-blogmefile "")
   ;; file:///home/edrx/TH/L/dnc2007.html
   ;;    http://angg.twu.net/dnc2007.html

   ;; (find-2005oct20seminarfile "")
   ;; (find-2005oct20seminar "")
   ;; (find-2005oct20seminar "" "original-motivation-2")
   ;; (find-2005oct20seminarpage 1)
   ;; (find-2005oct20seminarpage 31)
#]
[#
 # (find-eevfile "eev-math-glyphs.el")
 # (find-efunction 'eev-math-glyphs-edrx)
 # (find-es "blogme" "other-glyphs")
 # (find-angg ".emacs" "square-brackets")
 # (find-eoutput '(insert 343269 343268 343102))
 # (find-eoutput '(insert 343269 343268 343102) "" '(switch-to-buffer (htmlize-buffer)))
 # (find-eoutput '(insert 299233 299376))
 # (find-eoutput '(insert 299233 299376) "" '(switch-to-buffer (htmlize-buffer)))
 # (find-eoutput '(insert 299502) "" '(switch-to-buffer (htmlize-buffer)))
 # (find-eevfile "eev-math-glyphs.el" "supset")
 # (find-eleimfile "quail/sgml-input.el")
 # (find-eleimfile "quail/latin-ltx.el")
 # (find-anggfile "TH/davinci.blogme" "STANDOUT")
#]
[lua:
  -- (eev-math-glyphs-edrx)
  -- (find-blogme3file "anggdefs.lua" "eev_math_glyphs_edrx =")
  eev_math_glyphs_edrx()

  -- (find-blogme3file "anggdefs.lua" " sec ")
  _AA["vllq"] = function () return
      readvword(), readqline(),
      readqline(),
      readqrest()
    end
  def [[ Sec' vllq   f,line,title,rest
         PRE(sec(line, f, Q(title)).."\n"..Q(rest)) ]]
  sectionnumber = 0
  def_ [[ N++ 0 _ sectionnumber = sectionnumber + 1; return sectionnumber ]]
  io.stdout:setvbuf("no")
]

[lua:
  -- From: (find-TH "2007monads")
  eev_math_glyphs_edrx()
  io.stdout:setvbuf("no")
  _AA["lllq"] = function () return
      readqline(),
      readvline(),
      readqline(),
      readqrest__() or ""
    end
  def [[ TSECTITLE 1 title BG("#ffeebb", title) ]]
  def [[ tsec lllq anchorline,title,bar,rest
         PRE(sec(anchorline, "TSECTITLE", Q(title)).."\n"..
             string.rep(strsub(bar, 1, 1), strlen(title)).."\n"..
             Q(rest.."\n")) ]]
]



[htmlize [J DNC 2007]

[#
[PRE ['
abcdefghijklmn
abλπefghijklmn
abλπ∈fghi∃∀lmn
abcdefghijklmn
abðÝfghiÎýlmn
]]
#]

[WITHINDEX
[#

#]


[#
---      _
---     | | __ _ _ __  _   _  __ _ _ __ _   _
---  _  | |/ _` | '_ \| | | |/ _` | '__| | | |
--- | |_| | (_| | | | | |_| | (_| | |  | |_| |
---  \___/ \__,_|_| |_|\__,_|\__,_|_|   \__, |
---                                     |___/
#]




[RULE ------------------------------------------------------------]


[RULE ------------------------------------------------------------]



[RULE ------------------------------------------------------------]

[RULE ------------------------------------------------------------]



[RULE ------------------------------------------------------------]


[RULE ------------------------------------------------------------]




]]

[#
 # Local Variables:
 # coding: raw-text-unix
 # modes: (fundamental-mode blogme-mode)
 # End:
#]