> A debugging build I made in December is about 20k lines
> before the preprocessor runs and about 30k afterwards.
> The formal verification code, written in Isabelle/HOL[2],
> is about an order of magnitude greater than that.
Just out of curiosity (since I'm unfamiliar with the concepts),
w
> You should run refer directly on your example file and
> examine how it's changed it.
I was about to suggest the same.
Based on this (and just for fun), I quickly hacked together
the attached macros. They are by no means sufficient for a
real application, but they should give you some idea on
Hi folks,
I'd like to take a moment to acknowledge and thank Dave Kemper ()
for his work in scouring the archives of this list and lifting bug
reports out of them and into the Savannah bug tracker.
This gives us some stuff to look at and work on for the eventual next
release of groff, and helps u
