How to use AdaGate

"How to use AdaGate" is not written yet.