src/Pure/Thy/thy_header.scala
Mon, 20 Aug 2012 14:09:09 +0200 wenzelm added keyword kind "thy_load" (with optional list of file extensions);
Tue, 07 Aug 2012 13:21:29 +0200 wenzelm tuned signature;
Wed, 01 Aug 2012 19:53:20 +0200 wenzelm more standard bootstrapping of Pure.thy;
Tue, 24 Jul 2012 20:56:18 +0200 wenzelm more explicit checks during parsing;
Fri, 20 Jul 2012 22:29:25 +0200 wenzelm more explicit java.io.{File => JFile};
Thu, 15 Mar 2012 14:22:54 +0100 wenzelm clarified syntax of prospective keywords;
Thu, 15 Mar 2012 10:16:21 +0100 wenzelm explicit Outer_Syntax.Decl;
Thu, 15 Mar 2012 09:55:42 +0100 wenzelm allow multiple 'keywords' as in 'fixes';
Thu, 15 Mar 2012 00:10:45 +0100 wenzelm some support for outer syntax keyword declarations within theory header;
Wed, 29 Feb 2012 23:09:06 +0100 wenzelm clarified module Thy_Load;
Sun, 26 Feb 2012 15:18:48 +0100 wenzelm tuned signature;
Tue, 30 Aug 2011 12:01:07 +0200 wenzelm do not normalized extra file dependencies for now -- still loaded by prover process;
Tue, 16 Aug 2011 22:48:31 +0200 wenzelm more robust Thy_Header.base_name, with minimal assumptions about path syntax;
Tue, 16 Aug 2011 21:13:52 +0200 wenzelm use full .thy file name as node name, which makes MiscUtilities.resolveSymlinks/File.getCanonicalPath more predictable;
Sat, 13 Aug 2011 20:20:36 +0200 wenzelm provide node header via Scala layer;
Fri, 12 Aug 2011 22:10:49 +0200 wenzelm normalized theory dependencies wrt. file_store;
Fri, 12 Aug 2011 15:28:30 +0200 wenzelm clarified document model header: master_dir (native wrt. editor, potentially URL) and node_name (full canonical path);
Fri, 12 Aug 2011 12:03:17 +0200 wenzelm simplified class Thy_Header;
Thu, 11 Aug 2011 20:32:44 +0200 wenzelm uniform treatment of header edits as document edits;
Tue, 12 Jul 2011 10:44:30 +0200 wenzelm tuned XML modules;
Sun, 10 Jul 2011 20:59:04 +0200 wenzelm inner syntax supports inlined YXML according to Term_XML (particularly useful for producing text under program control);
Sun, 10 Jul 2011 15:48:15 +0200 wenzelm more abstract signature;
Sun, 10 Jul 2011 13:51:21 +0200 wenzelm simplified XML_Data;
Sun, 10 Jul 2011 13:00:22 +0200 wenzelm less currying in Scala;
Sun, 10 Jul 2011 00:21:19 +0200 wenzelm propagate header changes to prover process;
Fri, 08 Jul 2011 11:13:21 +0200 wenzelm tuned signature;
Thu, 07 Jul 2011 22:04:30 +0200 wenzelm explicit Document.Node.Header, with master_dir and thy_name;
Thu, 07 Jul 2011 13:48:30 +0200 wenzelm simplified Symbol based on lazy Symbol.Interpretation -- reduced odd "functorial style";
Tue, 05 Jul 2011 22:38:44 +0200 wenzelm theory name needs to conform to Path syntax;
Mon, 04 Jul 2011 22:11:32 +0200 wenzelm quasi-static Isabelle_System -- reduced tendency towards "functorial style";
Mon, 04 Jul 2011 16:51:45 +0200 wenzelm pervasive Basic_Library in Scala;
Sun, 03 Jul 2011 19:42:32 +0200 wenzelm more explicit edit_node vs. init_node;
Sat, 02 Jul 2011 23:31:07 +0200 wenzelm Thy_Header.read convenience;
Thu, 30 Jun 2011 19:24:09 +0200 wenzelm more general theory header parsing;
Thu, 13 Jan 2011 17:30:52 +0100 wenzelm clarified split_thy_path;
Thu, 23 Sep 2010 18:44:26 +0200 wenzelm explicit Session.Phase indication with associated event bus;
Thu, 05 Aug 2010 13:41:00 +0200 wenzelm somewhat uniform Thy_Header.split_thy_path in ML and Scala;
Mon, 17 May 2010 14:23:54 +0200 wenzelm renamed class Outer_Lex to Token and Token_Kind to Token.Kind;
Sat, 15 May 2010 22:15:57 +0200 wenzelm renamed Outer_Parse to Parse (in Scala);
Sat, 09 Jan 2010 23:22:56 +0100 wenzelm misc tuning;
Mon, 28 Dec 2009 22:03:14 +0100 wenzelm separate Standard_System (Cygwin/Posix compatibility) vs. Isabelle_System (settings environment etc.);
Mon, 28 Dec 2009 18:40:13 +0100 wenzelm moved Library.decode_permissive_utf8 to Isabelle_System;
Sun, 27 Dec 2009 23:10:03 +0100 wenzelm allow UTF-8 in theory and file names;
Sun, 27 Dec 2009 22:36:47 +0100 wenzelm read header by scanning/parsing file;
Sun, 27 Dec 2009 21:34:23 +0100 wenzelm scan: operate on file (via Scan.byte_reader), more robust exception handling;
Tue, 22 Dec 2009 21:48:17 +0100 wenzelm basic setup for header scanning/parsing;
Tue, 01 Sep 2009 14:45:06 +0200 wenzelm modernized Thy_Header;
Sat, 29 Aug 2009 14:31:39 +0200 wenzelm misc tuning;
Fri, 19 Dec 2008 20:37:29 +0100 wenzelm removed Ids;
Sat, 04 Oct 2008 14:29:42 +0200 wenzelm Theory header keywords.
less more (0) tip