isabelle: File revisions

src/Pure/Syntax/term_position.ML

Mon, 27 May 2013 12:40:50 +0200	wenzelm	uniform Term_Position.markers (cf. dbadb4d03cbc);	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
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

isabelle