src/Pure/Thy/thy_header.scala
Sat, 17 Oct 2015 21:15:10 +0200 wenzelm added 'paragraph', 'subparagraph';
Mon, 17 Aug 2015 19:34:15 +0200 wenzelm support for ML files with/without debugger information;
Sun, 03 May 2015 00:01:10 +0200 wenzelm misc tuning, based on warnings by IntelliJ IDEA;
Tue, 17 Mar 2015 16:17:49 +0100 wenzelm tight span for theory header, which is relevant for error positions (including semantic completion);
Sun, 15 Mar 2015 20:35:47 +0100 wenzelm clarified span position;
Sat, 14 Mar 2015 19:51:36 +0100 wenzelm clarified positions of theory imports;
Sat, 14 Mar 2015 18:18:40 +0100 wenzelm misc tuning -- more uniform ML vs. Scala;
Thu, 13 Nov 2014 23:45:15 +0100 wenzelm uniform treatment of all document markup commands: 'text' and 'txt' merely differ in LaTeX style;
Fri, 07 Nov 2014 16:36:55 +0100 wenzelm plain value Keywords.keywords, which might be used outside theory for bootstrap purposes;
Wed, 05 Nov 2014 22:17:05 +0100 wenzelm tuned signature;
Wed, 05 Nov 2014 21:59:21 +0100 wenzelm more uniform header_keywords in ML/Scala;
Wed, 05 Nov 2014 20:20:57 +0100 wenzelm explicit type Keyword.keywords;
Wed, 05 Nov 2014 16:57:12 +0100 wenzelm explicit type Keyword.Keywords;
Wed, 05 Nov 2014 15:32:11 +0100 wenzelm clarified minor/major lexicon (like ML version);
Sun, 02 Nov 2014 15:27:37 +0100 wenzelm uniform heading commands work in any context, even in theory header;
Sat, 01 Nov 2014 15:01:41 +0100 wenzelm command-line terminator ";" is no longer accepted;
Fri, 02 May 2014 13:52:45 +0200 wenzelm more frugal access to theory text via Reader, reduced costs for I/O text decoding;
Wed, 30 Apr 2014 22:34:11 +0200 wenzelm some support for session-qualified theories: allow to refer to resources via qualified name instead of odd file-system path;
Fri, 14 Feb 2014 16:25:30 +0100 wenzelm tuned signature (in accordance to ML version);
Fri, 14 Feb 2014 15:42:27 +0100 wenzelm tuned signature -- separate Lexicon from Parsers (in accordance to ML version);
Fri, 05 Apr 2013 20:54:55 +0200 wenzelm tuned signature -- agree with markup terminology;
Wed, 27 Feb 2013 16:27:44 +0100 wenzelm discontinued obsolete header "files" -- these are loaded explicitly after exploring dependencies;
Wed, 27 Feb 2013 12:45:19 +0100 wenzelm discontinued obsolete 'uses' within theory header;
Mon, 19 Nov 2012 22:34:17 +0100 wenzelm alternative completion for outer syntax keywords;
Wed, 22 Aug 2012 15:53:17 +0200 wenzelm use Thy_Header.read on explicit text only -- potentially via File.read, not Scan.byte_reader;
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};
less more (0) -50 -30 tip