====== Documentation ======
===== HeaRTDroid JavaDoc =====
Complete JavDoc can be found [[http://heartdroid.re/heartdroid-javadoc|here]].

===== HMR language =====
HMR (HeKatE Meta Language) is a human-readable notation for building models for HeaRTDroid.
Models in HMR can be generated manually, or exported from the [[http://ai.ia.agh.edu.pl/wiki/hekate:hqed|HQEd editor]]. 
  * See the **full grammar** of the HMR notation [[.:hmr|here]].
  * See the **examples** of models in HMR notation [[http://ai.ia.agh.edu.pl/wiki/hekate:cases:start|here]].