Mercurial Mercurial > repos > isabelle / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Syntax/syntax_phases.ML
Thu, 10 Nov 2011 23:30:50 +0100 wenzelm more efficient prepare_sorts -- bypass encoded positions; file | diff | annotate
Thu, 10 Nov 2011 22:54:15 +0100 wenzelm suppress irrelevant positions; file | diff | annotate
Thu, 10 Nov 2011 22:32:10 +0100 wenzelm pass term positions into check phase, where resulting types are reported accordingly, and eventually shown as tooltips; file | diff | annotate
Thu, 10 Nov 2011 17:47:25 +0100 wenzelm tuned signature; file | diff | annotate
Wed, 09 Nov 2011 20:47:11 +0100 wenzelm tuned signature; file | diff | annotate
Wed, 09 Nov 2011 17:57:42 +0100 wenzelm sort assignment before simultaneous term_check, not isolated parse_term; file | diff | annotate
Wed, 09 Nov 2011 14:58:48 +0100 wenzelm tuned signature -- emphasize internal role of these operations; file | diff | annotate
Tue, 08 Nov 2011 21:09:35 +0100 wenzelm entity markup for bound variables; file | diff | annotate
Tue, 06 Sep 2011 20:37:07 +0200 wenzelm bulk reports for improved message throughput; file | diff | annotate
Tue, 06 Sep 2011 19:48:57 +0200 wenzelm tuned signature; file | diff | annotate
Sun, 28 Aug 2011 12:53:31 +0200 wenzelm tuned positions of ambiguity messages -- less intrusive in IDE view; file | diff | annotate
Sat, 06 Aug 2011 15:48:08 +0200 kleing make syntax ambiguity warnings a config option file | diff | annotate
Wed, 13 Jul 2011 20:36:18 +0200 wenzelm sub-structural sharing after Syntax.check phase, with global interning of logical entities (the latter is relevant when bypassing default parsing via YXML); file | diff | annotate
Mon, 11 Jul 2011 22:55:47 +0200 wenzelm tuned signature -- corresponding to Scala version; file | diff | annotate
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); file | diff | annotate
Sat, 25 Jun 2011 19:38:35 +0200 wenzelm entity markup for "type", "constant"; file | diff | annotate
Sat, 25 Jun 2011 18:15:36 +0200 wenzelm type classes: entity markup instead of old-style token markup; file | diff | annotate
Wed, 27 Apr 2011 20:37:56 +0200 wenzelm more informative markup for fixed variables (via name space entry); file | diff | annotate
Wed, 27 Apr 2011 17:58:45 +0200 wenzelm reorganized fixes as specialized (global) name space; file | diff | annotate
Tue, 26 Apr 2011 21:05:52 +0200 wenzelm clarified auxiliary structure Lexicon.Syntax; file | diff | annotate
Sat, 23 Apr 2011 19:22:11 +0200 wenzelm more precise error positions; file | diff | annotate
Tue, 19 Apr 2011 22:32:49 +0200 wenzelm less bulky "_position", for improved readability of parse trees; file | diff | annotate
Tue, 19 Apr 2011 21:55:42 +0200 wenzelm explicit markup for loose bounds; file | diff | annotate
Sun, 17 Apr 2011 23:47:05 +0200 wenzelm provide structure Syntax early (before structure Type), back-patch check/uncheck later; file | diff | annotate
Sun, 17 Apr 2011 21:04:22 +0200 wenzelm tuned signature; file | diff | annotate
Sat, 16 Apr 2011 15:47:52 +0200 wenzelm modernized structure Proof_Context; file | diff | annotate
Sat, 16 Apr 2011 15:25:25 +0200 wenzelm prefer local name spaces; file | diff | annotate
Sat, 16 Apr 2011 13:48:45 +0200 wenzelm Name_Space: proper configuration options long_names, short_names, unique_names instead of former unsynchronized references; file | diff | annotate
Fri, 08 Apr 2011 23:09:22 +0200 wenzelm unparse: more accurate markup for syntax consts, notably binders; file | diff | annotate
Fri, 08 Apr 2011 22:40:29 +0200 wenzelm more accurate markup for syntax consts, notably binders which point back to the original logical entity; file | diff | annotate
Fri, 08 Apr 2011 21:03:20 +0200 wenzelm CONST syntax with positions; file | diff | annotate
Fri, 08 Apr 2011 20:39:09 +0200 wenzelm moved CONST syntax/translations to their proper place; file | diff | annotate
Fri, 08 Apr 2011 18:08:13 +0200 wenzelm simplified Pure syntax bootstrap; file | diff | annotate
Fri, 08 Apr 2011 16:34:14 +0200 wenzelm discontinued special treatment of structure Lexicon; file | diff | annotate
Fri, 08 Apr 2011 15:48:14 +0200 wenzelm discontinued special status of structure Printer; file | diff | annotate
Fri, 08 Apr 2011 15:02:11 +0200 wenzelm discontinued special treatment of structure Syntax_Ext (formerly Syn_Ext); file | diff | annotate
Fri, 08 Apr 2011 13:31:16 +0200 wenzelm explicit structure Syntax_Trans; file | diff | annotate
Thu, 07 Apr 2011 23:25:09 +0200 wenzelm report literal tokens according to parsetree head; file | diff | annotate
Thu, 07 Apr 2011 21:55:09 +0200 wenzelm simplified read_term vs. read_prop; file | diff | annotate
Thu, 07 Apr 2011 17:52:44 +0200 wenzelm simplified printer context: uniform externing and static token translations; file | diff | annotate
Wed, 06 Apr 2011 23:04:00 +0200 wenzelm separate structure Term_Position; file | diff | annotate
Wed, 06 Apr 2011 17:15:06 +0200 wenzelm eliminated slightly odd Syntax.rep_syntax; file | diff | annotate
Wed, 06 Apr 2011 17:00:40 +0200 wenzelm more abstract print translation; file | diff | annotate
Wed, 06 Apr 2011 16:15:57 +0200 wenzelm more abstract syntax translation; file | diff | annotate
Wed, 06 Apr 2011 15:43:45 +0200 wenzelm tuned; file | diff | annotate
Wed, 06 Apr 2011 15:24:26 +0200 wenzelm explicit Syntax.tokenize, Syntax.parse; file | diff | annotate
Wed, 06 Apr 2011 15:10:39 +0200 wenzelm eliminated odd object-oriented type_context/term_context; file | diff | annotate
Wed, 06 Apr 2011 14:44:40 +0200 wenzelm simplified standard parse/unparse; file | diff | annotate
Wed, 06 Apr 2011 14:08:40 +0200 wenzelm discontinued old-style Syntax.constrainC; file | diff | annotate
Wed, 06 Apr 2011 13:33:46 +0200 wenzelm typed_print_translation: discontinued show_sorts argument; file | diff | annotate
Wed, 06 Apr 2011 12:58:13 +0200 wenzelm moved unparse material to syntax_phases.ML; file | diff | annotate
Wed, 06 Apr 2011 10:59:43 +0200 wenzelm renamed Standard_Syntax to Syntax_Phases; file | diff | annotate | base
less more (0) tip
isabelle