[isabelle] Build HOL



Hi,

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.