{"FreeLie-Testing" -> "Tests for FreeLie.nb.", 
 "SimplifyingWKOEquations" -> 
  "Simplifying the WKO equations written in MGA language.", 
 "NhaTrang" -> "Demo of the free-Lie meta-group-action structure for <a \
href=\"http://www.math.toronto.edu/~drorbn/Talks/NhaTrang-1305/\">http://www.\
math.toronto.edu/~drorbn/Talks/NhaTrang-1305/</a>.", 
 "TWAssociator" -> 
  "Finding a trees-and-wheels associator using &mu;-calculus technology.", 
 "NhaTrangDemo" -> "Demo of the free-Lie meta-group-action structure for <a \
href=\"http://www.math.toronto.edu/~drorbn/Talks/NhaTrang-1305/\">http://www.\
math.toronto.edu/~drorbn/Talks/NhaTrang-1305/</a>.", 
 "CellExport" -> "A program for exporting tagged cells, continues <a \
href=\"../2013-03/index.html\">pensieve://2013-03/</a>.", 
 "CellExport-Failed" -> "A program for exporting tagged cells, continues <a \
href=\"../2013-03/index.html\">pensieve://2013-03/</a>.", 
 "ColouredJonesImprovement" -> "Improving KnotTheory`'s ColouredJones by \
using the built in QPochhammer / QBinomial, following Stavros.", 
 "LambdaCalculus" -> 
  "&Lambda; calculus as studied in Vietnam and on the way there.", 
 "SolvingWKO" -> "Solving the WKO equations using free-Lie &mu;-calculus \
technology; continued <a \
href=\"../2013-10/index.html\">pensieve://2013-10/</a>.", 
 "muCalculus" -> "&mu;-calculus programs, continued <a \
href=\"../2013-11/DoubleTree/index.html\">pensieve://2013-11/DoubleTree/</a>.\
", "FreeLie" -> "A free-Lie calculator with lazy evaluation for series; <a \
href=\"../2013-05/index.html\">pensieve://2013-05/</a> version, continues <a \
href=\"../2013-04/index.html\">pensieve://2013-04/</a>, continued <a \
href=\"../2014-01/index.html\">pensieve://2014-01/</a>."}
