src/Pure/Thy/thy_load.scala
2012-07-20 wenzelm 2012-07-20 more explicit java.io.{File => JFile};
2012-03-15 wenzelm 2012-03-15 some support for outer syntax keyword declarations within theory header; more uniform Thy_Header.header as argument for begin_theory etc.;
2012-03-03 wenzelm 2012-03-03 retain original "uses" (again) -- still required for Thy_Load.use_file etc. in ML (notably for maintaining required/provided); tuned;
2012-03-01 wenzelm 2012-03-01 refined node_header -- more direct buffer access (again);
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-17 wenzelm 2011-09-17 sane default for class Thy_Load;
2011-09-01 wenzelm 2011-09-01 tuned signature;
2011-09-01 wenzelm 2011-09-01 more abstract Document.Node.Name; tuned signature;
2011-08-30 wenzelm 2011-08-30 separate module for jEdit primitives for loading theory files;
2011-08-29 wenzelm 2011-08-29 actual auto loading of required files; eliminated File_Store in favour of Thy_Load; tuned;
2011-08-12 wenzelm 2011-08-12 simplified class Thy_Header;
2011-07-05 wenzelm 2011-07-05 Thy_Info.dependencies: ignore already loaded theories, according to initial prover session status;
2011-07-04 wenzelm 2011-07-04 some support for theory files within Isabelle/Scala session;