src/Tools/jEdit/src/jedit_thy_load.scala
2011-08-30 wenzelm 2011-08-30 separate module for jEdit primitives for loading theory files;