Skip to Content.

Sympa Menu

ssreflect - [ssreflect] Dependency graph broken

Subject: Ssreflect Users Discussion List

List archive

[ssreflect] Dependency graph broken

From: Beta Ziliani <>
To: "" <>
Subject: [ssreflect] Dependency graph broken
Date: Mon, 8 Sep 2014 12:03:25 +0200

Hi ssreflect-devs:

The dependency graph [1] seems broken; every module is displayed in row, no connecting lines.

Best,
Beta

[1] http://ssr.msr-inria.inria.fr/~jenkins/current/index.html

[ssreflect] Dependency graph broken, Beta Ziliani, 09/08/2014

Archive powered by MHonArc 2.6.18.