src/Pure/goal_display.ML
2010-09-03 ago turned show_consts into proper configuration option;
2009-11-25 ago normalized uncurry take/drop
2009-11-24 ago curried take/drop
2009-10-17 ago indicate CRITICAL nature of various setmp combinators;
2009-09-29 ago explicit indication of Unsynchronized.ref;
2009-07-25 ago renamed structure Display_Goal to Goal_Display;