4 Nov
2011
4 Nov
'11
12:01 a.m.
2011/11/4 José Pedro Magalhães <jpm@cs.uu.nl>:
Hi,
2011/11/3 Bas van Dijk <v.dijk.bas@gmail.com>
2011/11/3 José Pedro Magalhães <jpm@cs.uu.nl>:
"-ddump-deriv" will print (most of) it.
But it doesn't print the most useful piece of information: the definition of Rep.
Yes... I am aware of this.
It would be great if this could be added.
I'll do it.
Cheers, Pedro
Great, thanks!