Thu, 12 Apr 2007 23:06:27 +0200 | wenzelm | added proj_value_antiq; | file | diff | annotate |
Tue, 10 Apr 2007 11:55:23 +0200 | wenzelm | inline_antiq: no longer forces ML_Syntax.atomic; | file | diff | annotate |
Wed, 28 Feb 2007 22:05:41 +0100 | wenzelm | added @{const_name}, @{const_syntax}; | file | diff | annotate |
Fri, 16 Feb 2007 22:13:16 +0100 | wenzelm | ML text: informative Output.debug only; | file | diff | annotate |
Sun, 21 Jan 2007 19:09:38 +0100 | wenzelm | improved fact references: thmref; | file | diff | annotate |
Sun, 21 Jan 2007 16:43:45 +0100 | wenzelm | use_text: added name argument; | file | diff | annotate |
Sat, 20 Jan 2007 14:09:21 +0100 | wenzelm | added the_context_finished; | file | diff | annotate |
Fri, 19 Jan 2007 22:08:13 +0100 | wenzelm | ML context and antiquotations (material from context.ML); | file | diff | annotate |