| Fri, 23 Aug 2013 20:35:50 +0200 | wenzelm | added Theory.setup convenience; | changeset | files |
| Fri, 23 Aug 2013 20:09:34 +0200 | wenzelm | more robust ML_Antiquote.variant via Name.desymbolize (which also allows symbolic names, for example); | changeset | files |
| Fri, 23 Aug 2013 19:53:27 +0200 | wenzelm | clarified type ML_Context.antiq: context parser maintains compilation context, declaration is applied to final context; | changeset | files |