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