|
Warning: this is an htmlized version!
The original is here, and the conversion rules are here. |
% (find-LATEX "2022repl.tex")
% (defun c () (interactive) (find-LATEXsh "lualatex -record 2022repl.tex" :end))
% (defun C () (interactive) (find-LATEXSH "lualatex 2022repl.tex" "Success!!!"))
% (defun D () (interactive) (find-pdf-page "~/LATEX/2022repl.pdf"))
% (defun d () (interactive) (find-pdftools-page "~/LATEX/2022repl.pdf"))
% (defun e () (interactive) (find-LATEX "2022repl.tex"))
% (defun u () (interactive) (find-latex-upload-links "2022repl"))
% (defun v () (interactive) (find-2a '(e) '(d)))
% (defun cv () (interactive) (C) (ee-kill-this-buffer) (v) (g))
% (defun d0 () (interactive) (find-ebuffer "2022repl.pdf"))
% (code-eec-LATEX "2022repl")
% (find-pdf-page "~/LATEX/2022repl.pdf")
% (find-sh0 "cp -v ~/LATEX/2022repl.pdf /tmp/")
% (find-sh0 "cp -v ~/LATEX/2022repl.pdf /tmp/pen/")
% file:///home/edrx/LATEX/2022repl.pdf
% file:///tmp/2022repl.pdf
% file:///tmp/pen/2022repl.pdf
% http://angg.twu.net/LATEX/2022repl.pdf
% (find-LATEX "2019.mk")
% (find-lualatex-links "2022repl" "lre")
% «.bug» (to "bug")
\documentclass[oneside,12pt]{article}
\usepackage[colorlinks,citecolor=DarkRed,urlcolor=DarkRed]{hyperref} % (find-es "tex" "hyperref")
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{pict2e}
\usepackage[x11names,svgnames]{xcolor} % (find-es "tex" "xcolor")
%\usepackage{colorweb} % (find-es "tex" "colorweb")
%\usepackage{tikz}
%
% (find-dn6 "preamble6.lua" "preamble0")
%\usepackage{proof} % For derivation trees ("%:" lines)
%\input diagxy % For 2D diagrams ("%D" lines)
%\xyoption{curve} % For the ".curve=" feature in 2D diagrams
%
\usepackage{edrx21} % (find-LATEX "edrx21.sty")
\input edrxaccents.tex % (find-LATEX "edrxaccents.tex")
\input edrx21chars.tex % (find-LATEX "edrx21chars.tex")
\input edrxheadfoot.tex % (find-LATEX "edrxheadfoot.tex")
\input edrxgac2.tex % (find-LATEX "edrxgac2.tex")
%\input 2017planar-has-defs.tex % (find-LATEX "2017planar-has-defs.tex")
%
% (find-es "tex" "geometry")
\begin{document}
\catcode`\^^J=10
%\directlua{adddednatlualoader = function () DednatRequire.usenewrequire() end}
\directlua{dofile "dednat6load.lua"} % (find-LATEX "dednat6load.lua")
%\directlua{dofile "/home/edrx/LUA/lua50init.lua"}
%\directlua{dofile "/home/edrx/LUA/Repl1.lua"} % (find-angg "LUA/Repl1.lua")
%\directlua{REPL = EdrxRepl:new(); print(); REPL:repl()}
% «bug» (to ".bug")
% (setq eepitch-preprocess-regexp "^")
% (setq eepitch-preprocess-regexp "^%T ?")
%
%T • (eepitch-shell)
%T • (eepitch-kill)
%T • (eepitch-shell)
%T cd ~/LATEX/
%T export PATH=/usr/local/texlive/2020/bin/x86_64-linux:$PATH
%T export PATH=/usr/local/texlive/2021/bin/x86_64-linux:$PATH
%T time lualatex 2022repl.tex
%T
%T = package
%T PPV(sorted(keys(package)))
%T PPV(keys(package.loaded))
%T PPV(sorted(keys(package.loaded)))
%T PPPV(package.helpers)
%T PPPV(package.helpers.builtin)
%T PPPV(package.helpers.methods)
%T PPPV(package.helpers.sequence)
%T PPPV(package.helpers.builtin)
%T PPPV(package.loaders)
%T PPPV(package.searchers)
%T
%T dofile "dednat6load.lua"
%T = _VERSION
%T -- (find-man "lua")
\GenericWarning{Success:}{Success!!!} % Used by `M-x cv'
\end{document}
% (find-LATEX "2022on-the-missing.tex" "make-arxiv")
* (eepitch-shell)
* (eepitch-kill)
* (eepitch-shell)
cd ~/LATEX/
export PATH=/usr/local/texlive/2020/bin/x86_64-linux:$PATH
lualatex 2022repl.tex
% __ __ _
% | \/ | __ _| | _____
% | |\/| |/ _` | |/ / _ \
% | | | | (_| | < __/
% |_| |_|\__,_|_|\_\___|
%
% <make>
* (eepitch-shell)
* (eepitch-kill)
* (eepitch-shell)
# (find-LATEXfile "2019planar-has-1.mk")
make -f 2019.mk STEM=2022repl veryclean
make -f 2019.mk STEM=2022repl pdf
% Local Variables:
% coding: utf-8-unix
% ee-tla: "lre"
% End: