From 11b757d54dd7a1d6ecf5d0baaece44a751f6bebb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Mon, 4 Dec 2017 23:27:26 +0100 Subject: [PATCH] Added typed-worklist package in the .dot --- packages.dot | 2 ++ 1 file changed, 2 insertions(+) diff --git a/packages.dot b/packages.dot index b5e23cb..72e1ef1 100644 --- a/packages.dot +++ b/packages.dot @@ -37,9 +37,11 @@ digraph packages { "phc-graph" -> "subtemplate" "phc-graph" -> "typed-map" "phc-graph" -> "type-expander" + "phc-graph" -> "typed-worklist" "phc-toolkit" -> "scribble-math" "phc-toolkit" -> "type-expander" "phc-toolkit" -> "stxparse-info" + "typed-worklist" -> "type-expander" "preexpanded" "remember" -> "hyper-literate" "remember" -> "phc-toolkit"