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";
nipkow@11210
     1
By chapter:
nipkow@11210
     2
paulson@11212
     3
chapters 1 and 2, maybe 3: Peter White
nipkow@11216
     4
chapters 6, 7 and 8: David von Oheim
nipkow@11216
     5
chapter 6, maybe 8: Gerwin Klein
paulson@11226
     6
chapters 3, maybe 4: Tanja Vos
paulson@11243
     7
chapters 1-3 at least: Stefano Bistarelli