www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit 11b757d54dd7a1d6ecf5d0baaece44a751f6bebb
parent 40fe63bb94b459e131b6d27752e1eb76a0994d3c
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Mon,  4 Dec 2017 23:27:26 +0100

Added typed-worklist package in the .dot

Diffstat:
Mpackages.dot | 2++
1 file changed, 2 insertions(+), 0 deletions(-)

diff --git 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"