[isabelle] Isabelle /HOL how to compile program

I have downloaded and installed Isabelle proof assistant. I have already
studied the book. but I am not able to compile the program. I searched a lot
but didnt fine a any book or material that  can help me to compile and run
code. sir please help me

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.