isabelle: File revisions

src/Pure/General/antiquote.ML

Fri, 17 Sep 2010 20:18:27 +0200	wenzelm	tuned signature of (Context_)Position.report variants;	file \| diff \| annotate
Tue, 24 Mar 2009 11:57:41 +0100	wenzelm	datatype antiquote: maintain original Position.range, which is eventually attached to the resulting ML tokens;	file \| diff \| annotate
Sun, 22 Mar 2009 20:49:47 +0100	wenzelm	export report -- version that actually covers all cases;	file \| diff \| annotate
Sun, 22 Mar 2009 19:10:58 +0100	wenzelm	replaced Antiquote.is_antiq by Antiquote.is_text;	file \| diff \| annotate
Fri, 20 Mar 2009 20:21:38 +0100	wenzelm	Antiquote.read: argument for reporting text;	file \| diff \| annotate
Thu, 19 Mar 2009 16:56:51 +0100	wenzelm	parameterized datatype antiquote and read operation;	file \| diff \| annotate
Thu, 19 Mar 2009 15:44:14 +0100	wenzelm	Antiquote.Text: keep full position information;	file \| diff \| annotate
Thu, 19 Mar 2009 15:22:53 +0100	wenzelm	moved Isar/antiquote.ML to General/antiquote.ML, which is loaded early;	file \| diff \| annotate \| base

isabelle