diff --git a/trees/isa/isa-0001.tree b/trees/isa/isa-0001.tree index d9112f7..b08c08f 100644 --- a/trees/isa/isa-0001.tree +++ b/trees/isa/isa-0001.tree @@ -1,7 +1,7 @@ \title{Interactive theorem proving} \author{liamoc} \taxon{Lecture Notes} -\p{These notes are the basis of my short course at the [ANU](anu) Logic Summer School 2025.} +\p{These notes are the basis of my short course at the [ANU](anu) [Logic Summer School 2025](loc-001W).} \transclude{isa-0002} \transclude{isa-001B} \transclude{isa-002N} diff --git a/trees/loc-002M.tree b/trees/loc-002M.tree index 6452e18..10d4ae1 100644 --- a/trees/loc-002M.tree +++ b/trees/loc-002M.tree @@ -4,7 +4,7 @@ \figure{ \[width]{250px}[src]{\route-asset{assets/lss5.jpeg}}{} } -\p{The first week of the [ANU](anu) Logic Summer School has concluded, including my introductory course on [[isa-0001]]. I think the course went well and students learnt a little of what makes theorem proving fun. Chelsea Edmonds will follow on from my course in week 2 with her own course on software verification. I hope I prepared the students well. We went on an excursion to the Tidbinbilla nature reserve (photos of which I have also previously shared on [[2025-W27]] and [[2025-W44]]).} +\p{The first week of the [ANU](anu) [Logic Summer School](loc-001W) has concluded, including my introductory course on [[isa-0001]]. I think the course went well and students learnt a little of what makes theorem proving fun. Chelsea Edmonds will follow on from my course in week 2 with her own course on software verification. I hope I prepared the students well. We went on an excursion to the Tidbinbilla nature reserve (photos of which I have also previously shared on [[2025-W27]] and [[2025-W44]]).} \figure{ \[width]{250px}[src]{\route-asset{assets/lss4.jpeg}}{} \[width]{250px}[src]{\route-asset{assets/lss3.jpeg}}{} diff --git a/trees/news.tree b/trees/news.tree index 8b39e9c..beb7d79 100644 --- a/trees/news.tree +++ b/trees/news.tree @@ -3,6 +3,10 @@ \author{liamoc} \p{See also [Weeknotes](loc-001B)} \table{ +\tr{ + \th{ 25.12.01 } + \td{My course on [[isa-0001]] is running this week. } +} \tr{ \th{ 25.09.19 } \td{I have agreed to teach COMP1110 [[COMP1110]] in 2026 Semester 1. } diff --git a/trees/weeknotes/2025-W49.tree b/trees/weeknotes/2025-W49.tree index fd48a39..cc2dc45 100644 --- a/trees/weeknotes/2025-W49.tree +++ b/trees/weeknotes/2025-W49.tree @@ -2,6 +2,6 @@ \title{Weeknotes 2025-W49} \author{liamoc} \date{2025-12-07} -\p{Much of this past week was spent organising for my Logic Summer School course or preparing for the Service of Lessons and Carols at Ainslie. Both went well I think! But I was so exhausted last night that these weeknotes are a day late.} +\p{Much of this past week was spent organising for my [Logic Summer School](loc-001W) course or preparing for the Service of Lessons and Carols at Ainslie. Both went well I think! But I was so exhausted last night that these weeknotes are a day late.} \transclude{loc-002M} \transclude{loc-002L} \ No newline at end of file