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;