From cef5d196ff4c07f78038a84c67a026c981fe30eb Mon Sep 17 00:00:00 2001 From: Lyes Saadi Date: Thu, 15 Jan 2026 21:12:59 +0100 Subject: [PATCH] Changing some details --- 1.typ | 2 +- 2.typ | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/1.typ b/1.typ index c4efacd..5edd533 100644 --- a/1.typ +++ b/1.typ @@ -4,7 +4,7 @@ #let scheme = dark #let edge = edge.with(stroke: scheme.fg, crossing-fill: scheme.bg) -#show: paper.with(scheme: scheme, title: "SEMPL", subtitle: "Lesson 1") +#show: paper.with(scheme: scheme, title: "SEMPL", subtitle: "Part 1", author: "Paul-André Mellies' Course\nNotes by Lyes Saadi") #let environment = environment.with(scheme: scheme) #let environment_ = environment_.with(scheme: scheme) diff --git a/2.typ b/2.typ index 83b8387..f3bf9a7 100644 --- a/2.typ +++ b/2.typ @@ -8,7 +8,7 @@ #let edge = edge.with(stroke: scheme.fg, crossing-fill: scheme.bg) #let prooftree = prooftree.with(stroke: stroke(thickness: 0.05em, paint: scheme.fg)) -#show: paper.with(scheme: scheme, title: "SEMPL", subtitle: "Lesson 1") +#show: paper.with(scheme: scheme, title: "SEMPL", subtitle: "Part 2", author: "Guillaume Geoffroy's Course\nNotes by Lyes Saadi") #let environment = environment.with(scheme: scheme) #let environment_ = environment_.with(scheme: scheme)