Warning: this is an htmlized version!
The original is here, and the conversion rules are here. |
-- This file: -- http://anggtwu.net/LUA/Dednat7oldheads.lua.html -- http://anggtwu.net/LUA/Dednat7oldheads.lua -- (find-angg "LUA/Dednat7oldheads.lua") -- Author: Eduardo Ochs <eduardoochs@gmail.com> -- -- Experimental support for the heads "%*", "%:" and "%D" of dednat6. -- -- (defun e () (interactive) (find-angg "LUA/Dednat7oldheads.lua")) -- Based on: (find-dn6 "dednat6.lua" "package.path") -- (find-dn6 "dednat6.lua" "requires") -- (find-dn6 "heads6.lua" "registerhead") -- dednat7oldheads = function () dednat6dir = dednat6dir or "dednat6/" package.path = dednat6dir.."?.lua;"..package.path require "abbrevs" -- (find-dn6 "abbrevs.lua") require "parse" -- (find-dn6 "parse.lua") require "rect" -- (find-dn6 "rect.lua") require "stacks" -- (find-dn6 "stacks.lua") -- require "heads6" -- (find-dn6 "heads6.lua") -- -- Code for generating derivation trees from "%:" lines: require "treetex" -- (find-dn6 "treetex.lua") require "treesegs" -- (find-dn6 "treesegs.lua") -- -- Code for generating diagxy diagrams from "%D" lines: require "diagstacks" -- (find-dn6 "diagstacks.lua") require "diagtex" -- (find-dn6 "diagtex.lua") require "diagforth" -- (find-dn6 "diagforth.lua") --require "errors" -- (find-dn6 "errors.lua") require "diagmiddle" -- (find-dn6 "diagmiddle.lua") end --[[ * (eepitch-lua51) * (eepitch-kill) * (eepitch-lua51) dofile "dednat7load.lua" dofile "Dednat7oldheads.lua" dednat6dir = ee_expand "~/LATEX/dednat6/" dednat7oldheads() --]] -- Local Variables: -- coding: utf-8-unix -- End: