Re: [isabelle] Isabelle2013-RC2 available for testing
On Wed, 6 Feb 2013, Yannick wrote:
Do you know if RC3 “print_rules” will always displays the rules without
I is still without names, the way it has been before.
It is not impossible to improve that eventually, but not trivial either.
For Isabelle2013 some print commands were improved --- e.g. find_theorems
and find_consts to markup their name references --- but not print_rules,
This archive was generated by a fusion of
Pipermail (Mailman edition) and