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

[BLS]

Georg Wrede wrote:
> 
> 
> It'd be nice if some of them came to this NG.
> 

will meet one of the leading guys this summer, let's see.

> (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/

Björn