Wed, 03 Oct 2012 14:58:56 +0200 | wenzelm | allow position constraints to coexist with 0 or 1 sort constraints; | file | diff | annotate |
Mon, 01 Oct 2012 16:37:22 +0200 | wenzelm | report sort assignment of visible type variables; | file | diff | annotate |
Mon, 28 Nov 2011 22:05:32 +0100 | wenzelm | separate module for concrete Isabelle markup; | file | diff | annotate |
Thu, 10 Nov 2011 23:30:50 +0100 | wenzelm | more efficient prepare_sorts -- bypass encoded 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 |
Wed, 06 Apr 2011 23:04:00 +0200 | wenzelm | separate structure Term_Position; | file | diff | annotate |