ashsaver wrote:Also, I believe when multiple cards hit the graveyard from the library, it's the same as hitting the graveyard from any other zone - you can choose them.
That's true. Currently jMagic's interface shortcuts away ordering of cards that go to a graveyard at the same time, no matter where they come from. The engine is asking the question, but the interface is answering automatically rather than bothering the player.
I don't think that jMagic currently has any cards that care about graveyard ordering. We intend to eventually include an option that will cause the interface to actually ask you to order those cards in the same way it asks you to order cards entering your library at the same time.
In other news: We are about to release jMagic 0.9, which will include all of Innistrad. I believe this makes us the first rules-knowledgeable program to include double faced cards. (A whole three days ahead of Magic Online!)