Revert "More faithful route: native TeXmacs -> LaTeX"

This reverts commit c815dcf.
lukstafi · Oct 26, 2023 · e92fb84 · e92fb84
1 parent 7707b94
commit e92fb84
Show file tree

Hide file tree

Showing 45 changed files with 0 additions and 17,219 deletions.
diff --git a/chapter1/functional-lecture01-via-latex.tex b/chapter1/functional-lecture01-via-latex.tex
diff --git a/chapter10/functional-lecture10-via-latex.tex b/chapter10/functional-lecture10-via-latex.tex
diff --git a/chapter10/lecture10-exercises-via-latex.tex b/chapter10/lecture10-exercises-via-latex.tex
diff --git a/chapter11/functional-lecture11-via-latex.tex b/chapter11/functional-lecture11-via-latex.tex
diff --git a/chapter11/lecture11-exercises-via-latex.tex b/chapter11/lecture11-exercises-via-latex.tex