[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH 0/5] {maint} graph improvements

From: Akim Demaille
Subject: Re: [PATCH 0/5] {maint} graph improvements
Date: Thu, 18 Oct 2012 17:04:00 +0200

Le 18 oct. 2012 à 17:38, Theophile Ranquet a écrit :

> Yet more improvements to the readability of graphs. Slight modifications have
> been made to the previously added feature about reductions.
> Documentation and tests included.
> Theophile Ranquet (5):
>  graphs: address an issue with R/R conflicts
>  graphs: style changes
>  graphs: change the output format of the rules
>  graphs: documentation
>  graphs: add tests, introducing -k graphs



reply via email to

[Prev in Thread] Current Thread [Next in Thread]