{"Splash" -> "The Splash Program of Figure 1.1, computing $z_1$.", 
 "Splash0" -> "The Splash Program of Figure 3.1, computing $z_0$.", 
 "index - Copy" -> 
  "This is the index file and Mathematica makefile for the PPSA project.", 
 "Verification - Copy" -> 
  "A unified verification notebook for the PPSA project.", 
 "Make" -> "This is the Mathematica makefile for the PPSA project.", 
 "index" -> "This is the index file for the PPSA project.", 
 "ReorderingDemo" -> 
  "Reordering exponentials in $sl_2$ and in ${\\mathfrak g}_0$.", 
 "CellExport" -> "A program for exporting tagged cells, continues <a \
href=\"../../Projects/WKO4/index.html\">pensieve://Projects/WKO4/</a>.", 
 "MakeSnips" -> "Make the snip files in Snips/.", 
 "MakeVSnips" -> "Make the snip files in VSnips/.", 
 "Verification" -> "A unified verification notebook for the PPSA project; \
continued <a \
href=\"../../Projects/SL2Portfolio/index.html\">pensieve://Projects/SL2Portfo\
lio/</a>."}
