doc-src/TutorialI/readers
author wenzelm
Wed Jul 25 12:38:54 2012 +0200 (2012-07-25)
changeset 48497 ba61aceaa18a
parent 11243 a9d4f354aba2
permissions -rw-r--r--
some updates on "Building a repository version of Isabelle";
     1 By chapter:
     2 
     3 chapters 1 and 2, maybe 3: Peter White
     4 chapters 6, 7 and 8: David von Oheim
     5 chapter 6, maybe 8: Gerwin Klein
     6 chapters 3, maybe 4: Tanja Vos
     7 chapters 1-3 at least: Stefano Bistarelli