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.}