From e92100c425fcf5d9ef4f3a802f0a72449d728502 Mon Sep 17 00:00:00 2001 From: Liam O'Connor Date: Mon, 13 Apr 2026 17:03:11 +1000 Subject: [PATCH] typo --- trees/loc-003Z.tree | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/trees/loc-003Z.tree b/trees/loc-003Z.tree index f38ce62..078d710 100644 --- a/trees/loc-003Z.tree +++ b/trees/loc-003Z.tree @@ -1,4 +1,4 @@ \title{Progress on linear-temporal properties research notes} \date{2026-04-12} \author{liamoc} -\p{I have made significant additions to my research notes on [[ltp-0001]]. Now I have all the relevant content from [[alpern-schneider-1985]], and some of the definitions that will appear in the forthcoming journal paper from [[rayhana]] and I. This paper finally got reviews back, and we have quite a few things to do but I'm confident we'll get there.} +\p{I have made significant additions to my research notes on [[ltp-0001]]. Now I have all the relevant content from [[alpern-schneider-1985]], and some of the definitions that will appear in the forthcoming journal paper from me and [[rayhana]]. This paper finally got reviews back, and we have quite a few things to do but I'm confident we'll get there.} -- 2.51.2