[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
Nice!
Installed.
- [PATCH 0/5] {maint} graph improvements, Theophile Ranquet, 2012/10/18
- [PATCH 3/5] graphs: change the output format of the rules, Theophile Ranquet, 2012/10/18
- [PATCH 1/5] graphs: address an issue with R/R conflicts, Theophile Ranquet, 2012/10/18
- [PATCH 2/5] graphs: style changes, Theophile Ranquet, 2012/10/18
- [PATCH 5/5] graphs: add tests, introducing -k graphs, Theophile Ranquet, 2012/10/18
- [PATCH 4/5] graphs: documentation, Theophile Ranquet, 2012/10/18
- Re: [PATCH 0/5] {maint} graph improvements,
Akim Demaille <=