src/Pure/ML-Systems/unsynchronized.ML
2010-09-22 wenzelm 2010-09-22 renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
2010-08-27 wenzelm 2010-08-27 structure Unsynchronized is never opened and set/reset/toggle have been discontinued; retain Unsynchronized.change alias for Proof General;
2009-09-29 wenzelm 2009-09-29 Raw ML references as unsynchronized state variables.