src/Pure/Thy/thy_load.scala
2012-08-21 wenzelm 2012-08-21 clarified initialization of Thy_Load, Thy_Info, Session;
2012-08-16 wenzelm 2012-08-16 more robust multi-platform support;
2012-08-07 wenzelm 2012-08-07 need to expand path in order to resolve imports like "~~/src/Tools/Code_Generator";
2012-08-07 wenzelm 2012-08-07 prefer static Build.session_content for loaded theories -- discontinued incremental protocol;
2012-08-07 wenzelm 2012-08-07 simplified Document.Node.Header -- internalized errors;
2012-07-24 wenzelm 2012-07-24 more explicit checks during parsing;
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-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;