Split digitalmars.D newsgroup into .D and .D2 newsgroups?

[BCS]

Hello BLS,

> Georg Wrede wrote:
> 
>> (FWIW, I'd sure prefer to fly with ADA or D, than with C.) :-)
>> 
> So you better fly with Boeing !
> 
> "ASTREE is a static analyzer for C programs that proves the absence of
> run-time errors in critical embedded software.
> It has been applied to the flight control software of the Airbus 340
> and
> 380 airplanes. "
> ASTREE is written in OCAML.  // http://www.astree.ens.fr/
> 

If you can *prove* it's correct, I don't care if it's in BF I'll fly on it 
over something you can't. OTOH I /think/ Ada programs can be written so they 
won't compile if they can't be proven to be correct, at some level.