2010-10-26 ago consider base sorts of superclasses simultaneously during processing of class specification -- avoids clash of different base sorts
2010-08-30 ago tuned messages: discontinued spurious full-stops (messages are occasionally composed unexpectedly);
2010-08-26 ago 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;
2010-08-17 ago enforcing a singleton type inference parameter after type inference and before fixation prevents multiple type variables in import during class declaration
2010-08-13 ago corrected handling of `constrains` elements
2010-08-12 ago named target is optional
2010-08-12 ago Named_Target.init: empty string represents theory target
2010-08-11 ago merged
2010-08-11 ago more convenient split of class modules: class and class_declaration