Hello Isabelle developers.
I was recently reminded of one of the things on my wish-list for Isabelle: a
make -k mode in which the system continues for as long as possible and
reports as many errors as possible, rather than halting after the first one. I
think this would be generally useful to
On Tue, 7 Dec 2010, Thomas Sewell wrote:
I was recently reminded of one of the things on my wish-list for
Isabelle: a make -k mode in which the system continues for as long as
possible and reports as many errors as possible, rather than halting
after the first one. I think this would be