| Fri, 23 Aug 2013 22:48:12 +0200 | wenzelm | prefer plain subscript for notation; | changeset | files |
| Fri, 23 Aug 2013 21:59:29 +0200 | wenzelm | merged | changeset | files |
| Fri, 23 Aug 2013 20:53:00 +0200 | wenzelm | more standard parser combinator expressions and tool setup; | changeset | files |
| 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 |