src/Pure/Thy/thy_header.scala
2012-02-29 wenzelm 2012-02-29 clarified module Thy_Load; more precise graph based on Document.Node.Deps with actual Node.Name dependencies;
2012-02-26 wenzelm 2012-02-26 tuned signature; clarified check;
2011-08-30 wenzelm 2011-08-30 do not normalized extra file dependencies for now -- still loaded by prover process;
2011-08-16 wenzelm 2011-08-16 more robust Thy_Header.base_name, with minimal assumptions about path syntax; Isabelle.buffer_path: keep platform syntax;
2011-08-16 wenzelm 2011-08-16 use full .thy file name as node name, which makes MiscUtilities.resolveSymlinks/File.getCanonicalPath more predictable; more robust treatment of node dependencies; misc tuning;
2011-08-13 wenzelm 2011-08-13 provide node header via Scala layer; clarified node edit Clear: retain header information; run_command: node info via document model, error handling within transaction; node names without ".thy" suffix, to coincide with traditional theory loader treatment;
2011-08-12 wenzelm 2011-08-12 normalized theory dependencies wrt. file_store;
2011-08-12 wenzelm 2011-08-12 clarified document model header: master_dir (native wrt. editor, potentially URL) and node_name (full canonical path);
2011-08-12 wenzelm 2011-08-12 simplified class Thy_Header;
2011-08-11 wenzelm 2011-08-11 uniform treatment of header edits as document edits;
2011-07-12 wenzelm 2011-07-12 tuned XML modules;
2011-07-10 wenzelm 2011-07-10 inner syntax supports inlined YXML according to Term_XML (particularly useful for producing text under program control); tuned signature;
2011-07-10 wenzelm 2011-07-10 more abstract signature; tuned;
2011-07-10 wenzelm 2011-07-10 simplified XML_Data;
2011-07-10 wenzelm 2011-07-10 less currying in Scala;
2011-07-10 wenzelm 2011-07-10 propagate header changes to prover process; simplified Document case classes; Document.State.assignments: indexed by Version_ID;
2011-07-08 wenzelm 2011-07-08 tuned signature;
2011-07-07 wenzelm 2011-07-07 explicit Document.Node.Header, with master_dir and thy_name; imitate ML path operations more closely;
2011-07-07 wenzelm 2011-07-07 simplified Symbol based on lazy Symbol.Interpretation -- reduced odd "functorial style"; tuned implicit build/init messages;
2011-07-05 wenzelm 2011-07-05 theory name needs to conform to Path syntax;
2011-07-04 wenzelm 2011-07-04 quasi-static Isabelle_System -- reduced tendency towards "functorial style";
2011-07-04 wenzelm 2011-07-04 pervasive Basic_Library in Scala; tuned;
2011-07-03 wenzelm 2011-07-03 more explicit edit_node vs. init_node; some support for master_dir and header;
2011-07-02 wenzelm 2011-07-02 Thy_Header.read convenience;
2011-06-30 wenzelm 2011-06-30 more general theory header parsing;
2011-01-13 wenzelm 2011-01-13 clarified split_thy_path;
2010-09-23 wenzelm 2010-09-23 explicit Session.Phase indication with associated event bus; asynchronous Session.start(); synchronous Session.stop(); added Plugin.session_manager on top of basic Session; eliminated separate isabelle.activate action; misc tuning;
2010-08-05 wenzelm 2010-08-05 somewhat uniform Thy_Header.split_thy_path in ML and Scala;
2010-05-17 wenzelm 2010-05-17 renamed class Outer_Lex to Token and Token_Kind to Token.Kind;
2010-05-15 wenzelm 2010-05-15 renamed Outer_Parse to Parse (in Scala);
2010-01-09 wenzelm 2010-01-09 misc tuning;
2009-12-28 wenzelm 2009-12-28 separate Standard_System (Cygwin/Posix compatibility) vs. Isabelle_System (settings environment etc.);
2009-12-28 wenzelm 2009-12-28 moved Library.decode_permissive_utf8 to Isabelle_System; moved Library.with_tmp_file to Isabelle_System; added Isabelle_System.read_file/write_file; added Isabelle_System.system_out, with propagation of thread interrupts and process shutdown (global CTRL-C);
2009-12-27 wenzelm 2009-12-27 allow UTF-8 in theory and file names;
2009-12-27 wenzelm 2009-12-27 read header by scanning/parsing file;
2009-12-27 wenzelm 2009-12-27 scan: operate on file (via Scan.byte_reader), more robust exception handling;
2009-12-22 wenzelm 2009-12-22 basic setup for header scanning/parsing;
2009-09-01 wenzelm 2009-09-01 modernized Thy_Header;
2009-08-29 wenzelm 2009-08-29 misc tuning;
2008-12-19 wenzelm 2008-12-19 removed Ids;
2008-10-04 wenzelm 2008-10-04 Theory header keywords.