{"SL2Portfolio" -> "A unified verification notebook for the $sl_2$-portfolio \
project; continues <a \
href=\"../../Projects/PPSA/nb/Verfication.pdf\">pensieve://Projects/PPSA/nb/V\
erfication.pdf</a>.", "CellExport" -> "A program for exporting tagged cells, \
continues <a \
href=\"../../Projects/PPSA/index.html\">pensieve://Projects/PPSA/</a>.", 
 "Verification-Uix" -> "A unified verification notebook for the \
$sl_2$-portfolio project, Uix version. Continues the Uxi version and <a \
href=\"../../Projects/UEA\">pensieve://Projects/UEA</a>.", 
 "GDO" -> 
  "Implementing and testing the category of Gaussian Differential Operators."\
, "Verification" -> "A unified verification notebook for the $sl_2$-portfolio \
project, Uxi version. Continues <a \
href=\"../../Projects/PPSA/nb/Verification.pdf\">pensieve://Projects/PPSA/nb/\
Verification.pdf</a>.", "SL2Logoi" -> "Direct formulas for the sl2 logoi.", 
 "MakeSnips" -> "Make the snip files in Snips/.", 
 "Logoi" -> "Direct formulas for the sl2 logoi.", 
 "Qtheta" -> "Invariance of k=2 under Q&theta;.", 
 "k=2 Analysis in CU" -> "Analysis of k=2 invariants in CU.", 
 "SL2PortfolioProgram" -> "A unified verification program for the \
$sl_2$-portfolio project, Uxi version. Continues <a \
href=\"../../Projects/SL2Portfolio/nb/Verification.pdf\">pensieve://Projects/\
SL2Portfolio/nb/Verification.pdf</a>.", "k=2 Analysis in QU" -> 
  "Analysis of k=2 invariants in QU.", "k=2 Analysis in QU V2" -> 
  "Analysis of k=2 invariants in QU.", "k=2 Analysis in LogQU" -> 
  "Analysis of k=2 invariants in QU.", "SL2PortfolioTesting" -> "A unified \
verification testing suite for the $sl_2$-portfolio project, Uxi version. \
Continues <a \
href=\"../../Projects/SL2Portfolio/nb/Verification.pdf\">pensieve://Projects/\
SL2Portfolio/nb/Verification.pdf</a>.", "k=2 Analysis in QU V3" -> "Analysis \
of k=2 invariants in QU: Brute determination of the relations between the k=2 \
coefficients.", "k=2 Analysis in QU V4" -> 
  "Analysis of k=2 invariants in QU: Aiming to find the relationship with \
OP2.", "k=2 Analysis in QU V5" -> 
  "Analysis of k=2 invariants in QU: Aiming to find the relationship with \
OP2."}
