src/Pure/Thy/thy_load.scala
2012-12-07 ago explore theory_body_files via future, for improved performance;
2012-11-30 ago prefer Symbol.decode_strict in batch mode, to avoid files with spurious Unicode symbols that clash with Isabelle symbol interpretation;
2012-11-25 ago tuned signature -- avoid intrusion of module Path in generic PIDE concepts;
2012-08-22 ago add keywords of this node as well (e.g. relevant for Pure.thy);
2012-08-22 ago find files via load commands within theory text;
2012-08-22 ago pass syntax through check_thy;
2012-08-22 ago use Thy_Header.read on explicit text only -- potentially via File.read, not Scan.byte_reader;
2012-08-21 ago clarified initialization of Thy_Load, Thy_Info, Session;
2012-08-16 ago more robust multi-platform support;
2012-08-07 ago need to expand path in order to resolve imports like "~~/src/Tools/Code_Generator";
2012-08-07 ago prefer static Build.session_content for loaded theories -- discontinued incremental protocol;
2012-08-07 ago simplified Document.Node.Header -- internalized errors;
2012-07-24 ago more explicit checks during parsing;
2012-07-22 ago determine source dependencies, relatively to preloaded theories;
2012-07-20 ago more explicit java.io.{File => JFile};
2012-03-15 ago some support for outer syntax keyword declarations within theory header;
2012-03-03 ago retain original "uses" (again) -- still required for Thy_Load.use_file etc. in ML (notably for maintaining required/provided);
2012-03-01 ago refined node_header -- more direct buffer access (again);
2012-02-29 ago clarified module Thy_Load;
2011-09-17 ago sane default for class Thy_Load;
2011-09-01 ago tuned signature;
2011-09-01 ago more abstract Document.Node.Name;
2011-08-30 ago separate module for jEdit primitives for loading theory files;
2011-08-29 ago actual auto loading of required files;
2011-08-12 ago simplified class Thy_Header;
2011-07-05 ago Thy_Info.dependencies: ignore already loaded theories, according to initial prover session status;
2011-07-04 ago some support for theory files within Isabelle/Scala session;