josia-notes/w23-logic-3
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

set language to english

Browse source
This commit is contained in:
Josia Pietsch 2023-10-14 00:04:27 +02:00
parent 8359683da6
commit 73eb4f1645
Signed by: josia
GPG key ID: E70B571D66986A2D
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
logic.sty
View file

@ -1,4 +1,4 @@
\ProvidesPackage{wtheo}[2022/02/10 - Style file for notes of Logic 3: Abstract Topological Dynamics and Descriptive Set Theory] \ProvidesPackage{logic}[2023/10/14 - Style file for notes of Logic 3: Abstract Topological Dynamics and Descriptive Set Theory]
\usepackage[english]{babel} \usepackage[english]{babel}
\usepackage[cache, number in = section]{fancythm} \usepackage[cache, number in = section]{fancythm}
\usepackage{mkessler-mathfont} \usepackage{mkessler-mathfont}

2
logic3.tex
View file

@ -1,4 +1,4 @@
\documentclass[10pt,ngerman,a4paper,fancyfoot,git]{mkessler-script} \documentclass[10pt,a4paper,fancyfoot,git]{mkessler-script}
\course{Logic 3: Abstract Topological Dynamics and Descriptive Set Theory} \course{Logic 3: Abstract Topological Dynamics and Descriptive Set Theory}
\lecturer{Aleksandra Kwiatkowska} \lecturer{Aleksandra Kwiatkowska}