Wed, 13 Mar 2013 16:57:05 +0100 | wenzelm | include only README.html, not historic README, which tends towards surprises like src/HOL/SPARK/Examples/README; | changeset | files |
Wed, 13 Mar 2013 16:04:16 +0100 | wenzelm | more accurate handling of global browser info at the very end (without races), subject to no_build and info.browser_info; | changeset | files |
Wed, 13 Mar 2013 15:12:14 +0100 | wenzelm | sessions may be organized via 'chapter' in ROOT; | changeset | files |