src/Tools/jEdit/src/jedit_thy_load.scala
2012-08-21 wenzelm 2012-08-21 clarified initialization of Thy_Load, Thy_Info, Session;
2012-07-22 wenzelm 2012-07-22 determine source dependencies, relatively to preloaded theories; tuned signature;
2012-07-20 wenzelm 2012-07-20 more explicit java.io.{File => JFile};
2012-02-29 wenzelm 2012-02-29 clarified module Thy_Load; more precise graph based on Document.Node.Deps with actual Node.Name dependencies;
2011-09-19 wenzelm 2011-09-19 fixed headers;
2011-09-18 wenzelm 2011-09-18 explicit check_file wrt. jEdit VFS, to avoid slightly confusing empty buffer after IO error;
2011-09-17 wenzelm 2011-09-17 sane default for class Thy_Load;
2011-09-01 wenzelm 2011-09-01 more abstract Document.Node.Name; tuned signature;
2011-08-30 wenzelm 2011-08-30 some support for hyperlinks between different buffers; tuned signature;
2011-08-30 wenzelm 2011-08-30 separate module for jEdit primitives for loading theory files;