Skip to content

Commit

Permalink
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Update packages/viewer/src/components/Theorems/Show.svelte
Browse files Browse the repository at this point in the history
Co-authored-by: James Dabbs <[email protected]>
StevenClontz and jamesdabbs authored Dec 12, 2023

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
1 parent 864dd13 commit 3a7847c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion packages/viewer/src/components/Theorems/Show.svelte
Original file line number Diff line number Diff line change
@@ -8,7 +8,7 @@
export let tab: 'converse' | 'references'
export let rel: string | undefined = undefined
const title = `T${theorem.id}: ${theorem.name}`
$: title = `T${theorem.id}: ${theorem.name}`
const tabs = ['converse', 'references'] as const
</script>

0 comments on commit 3a7847c

Please sign in to comment.