I felt that I need to clarify somethings about my previous post.  I have
the Stanford Anna stuff, dated about 1992 that was constructed to work
with SunAda.  I'm in the process of setting up some resources for one of
my graduate classes for next year, in which I plan to use Anna.  I guess
what I want to know is if anyone has done anything with Anna vis-a-vis
Ada 95 and/or gnat.  I plan this weekend to try and set everything up
to run it through gnat and I was wondering if I am plowing old ground that
someone has plowed before.

I also plan to use it next year in my CS 2 and CS 7 classes as an assertion
tesing resource.

Jack Beidler