src/Doc/IsarRef/Proof.thy
2012-11-19 ago theorem status about oracles/futures is no longer printed by default;
2012-11-17 ago tuned structure of Isabelle/HOL;
2012-08-28 ago renamed doc-src to src/Doc;