| Sun, 26 May 2013 20:42:43 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 25 May 2013 15:37:53 +0200 | wenzelm | syntax translations always depend on context; | file | diff | annotate |
| Thu, 04 Apr 2013 12:06:23 +0200 | wenzelm | added var_position in analogy to longid_position, for typing reports on input; | file | diff | annotate |
| Fri, 29 Mar 2013 22:14:27 +0100 | wenzelm | Pretty.item markup for improved readability of lists of items; | file | diff | annotate |
| Sun, 25 Nov 2012 19:49:24 +0100 | wenzelm | Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d; | file | diff | annotate |
| Mon, 01 Oct 2012 16:37:22 +0200 | wenzelm | report sort assignment of visible type variables; | file | diff | annotate |
| Sat, 17 Mar 2012 13:06:23 +0100 | wenzelm | added Syntax.read_typs; | file | diff | annotate |