marcothms/dots
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Updoots to emacs

Browse Source
This commit is contained in:
Marco Thomas
2021-06-01 20:33:01 +02:00
parent 454dd8d09e
commit 935707e007
8 changed files with 13 additions and 1489 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
files/org/notes.org
View File

@@ -18,7 +18,7 @@
#+LATEX_HEADER: \usepackage{proof}
#+LATEX_HEADER: \theoremstyle{definition}
#+LATEX_HEADER: \newtheorem{def}{Definition}[section]
#+LATEX_HEADER: \newtheorem{definition}{Definition}[section]
#+LATEX_HEADER: \newtheorem{theorem}{Satz}[section]
#+LATEX_HEADER: \theoremstyle{algo}