| 2013-08-23 | wenzelm | 2013-08-23 | clarified position of Spec_Check for Isabelle/ML -- it is unrelated to Isabelle/HOL; just one src/Tools/ROOT; | file | diff | annotate |
| 2012-08-28 | wenzelm | 2012-08-28 | renamed doc-src to src/Doc; renamed TutorialI to Tutorial; | file | diff | annotate |
| 2012-08-19 | wenzelm | 2012-08-19 | fewer components, more roots; | file | diff | annotate |