src/Pure/General/graph_display.ML
2012-09-25 ago basic integration of graphview into document model;
2012-09-25 ago ML support for generic graph display, with browser and graphview backends (via print modes);
2012-09-25 ago separate module Graph_Display;