fix titles (#151)

pi-base · May 11, 2024 · 2b3bf08 · 2b3bf08
1 parent 41c1b9b
commit 2b3bf08
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/packages/viewer/src/routes/(app)/theorems/[id]/converse/+page.svelte b/packages/viewer/src/routes/(app)/theorems/[id]/converse/+page.svelte
@@ -5,7 +5,7 @@
 
  export let data: PageData
 
- $: title = `S${data.theorem.id}: ${data.theorem.name}`
+ $: title = `T${data.theorem.id}: ${data.theorem.name}`
 </script>
 
 <Title {title} />

diff --git a/packages/viewer/src/routes/(app)/theorems/[id]/references/+page.svelte b/packages/viewer/src/routes/(app)/theorems/[id]/references/+page.svelte
@@ -5,7 +5,7 @@
 
  export let data: PageData
 
- $: title = `S${data.theorem.id}: ${data.theorem.name}`
+ $: title = `T${data.theorem.id}: ${data.theorem.name}`
 </script>
 
 <Title {title} />