isabelle: File revisions

src/Pure/Isar/class_declaration.ML

Mon, 30 Aug 2010 15:19:39 +0200	wenzelm	tuned messages: discontinued spurious full-stops (messages are occasionally composed unexpectedly);	file \| diff \| annotate
Thu, 26 Aug 2010 13:09:12 +0200	wenzelm	renamed ProofContext.theory(_result) to ProofContext.background_theory(_result) to emphasize that this belongs to the infrastructure and is rarely appropriate in user-space tools;	file \| diff \| annotate
Tue, 17 Aug 2010 17:54:46 +0200	haftmann	enforcing a singleton type inference parameter after type inference and before fixation prevents multiple type variables in import during class declaration	file \| diff \| annotate
Fri, 13 Aug 2010 17:17:04 +0200	haftmann	corrected handling of `constrains` elements	file \| diff \| annotate
Thu, 12 Aug 2010 13:42:12 +0200	haftmann	named target is optional	file \| diff \| annotate
Thu, 12 Aug 2010 13:28:18 +0200	haftmann	Named_Target.init: empty string represents theory target	file \| diff \| annotate
Wed, 11 Aug 2010 20:25:44 +0200	haftmann	merged	file \| diff \| annotate \| base
Wed, 11 Aug 2010 16:02:03 +0200	haftmann	more convenient split of class modules: class and class_declaration	file \| diff \| annotate \| base

isabelle