src/Pure/Thy/thy_header.scala
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.