[isabelle] Build HOL


im writing a class in the folder scr/HOL/Myclass

and everytime i open it, like 20 other classes need to be compiled.

Using jEdit, isabelle 2013-1, how do i build them, so that the compiler only needs to run through only my own class?

Thank you!

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